Project

General

Profile

Actions

Bug #408

closed

blast compilation fails after submodule update

Added by Vadim Mutilin about 14 years ago. Updated over 13 years ago.

Status:
Rejected
Priority:
Low
Assignee:
Category:
BLAST
Start date:
08/31/2010
Due date:
% Done:

0%

Estimated time:
Detected in build:
53b45012694ef142e1b739b2c0dba6dde99e3097
Platform:
Published in build:

Description

BLAST submodule was updated from e8dee6acce8bb3174122bf7659f0b5c9b9836f9a to
af97c1cd0e415826fa3be6fafee3811fb5ae4f4d

After it make install fails with error:

make7: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/cvc3-dev/src/src/cvc3'
make6: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/cvc3-dev/src/src'
find /home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/cvc3/src '(' -name "*.h" -o -name "*.cpp" -o \
-name "*.y" ')' \
! -name "lexPL.cpp" ! -name "parsePL.cpp" \
-print > FILES
sed -e s/^/\'/ -e s/$/\'/ FILES | xargs etags
ebrowse --files=FILES
make5: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/cvc3-dev/src'
rm -f /home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/bin/pblast.*
make -C psrc
make5: Entering directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/psrc'
make5: Nothing to be done for `all'.
make5: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/psrc'
make RELEASE=1 -C psrc
make5: Entering directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/psrc'
Linking OCAML (native code) program pblast.opt
ocamlopt.opt -I /home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/lib -o pblast.opt nums.cmxa str.cmxa unix.cmxa libutils.cmxa libcaddie.cmxa libvampyre.cmxa libcil.cmxa ./obj/ast.cmx ./obj/blastArch.cmx ./obj/lvalUtils.cmx ./obj/constraintUtil.cmx ./obj/inputparse.cmx ./obj/inputflex.cmx ./obj/SMTLIBInterface.cmx ./obj/fociInterface.cmx ./obj/csisatInterface.cmx ./obj/theoremProver.cmx ./obj/blastControlFlowAutomaton.cmx ./obj/blastCilInterface.cmx ./obj/blastCSystemDescr.cmx ./obj/bddptsto.cmx ./obj/aliasAnalyzer.cmx ./obj/predBdd.cmx ./obj/predTable.cmx ./obj/absutil.cmx ./obj/events.cmx ./obj/symbolicStore.cmx ./obj/eventCounterLattice.cmx ./obj/listLatticeUtil.cmx ./obj/lattice.cmx ./obj/listLattice.cmx ./obj/unionlattice.cmx ./obj/sourceStats.cmx ./obj/abstraction.cmx
./obj/cfAbstraction.cmx ./obj/modelChecker.cmx ./obj/lazyModelChecker.cmx ./obj/cfLazyModelChecker.cmx ./obj/cfbLazyModelChecker.cmx ./obj/fociModelChecker.cmx ./obj/fociModelChecker_concrete.cmx ./obj/main.cmx \
-cc g++ -cclib '-L /home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/lib -lnums -lstr -lunix -lcaddie-c-part -ldddmp -lcudd -lepd -lutil -lst -lmtr -lperfcount -lstdc++'
File "_none_", line 1, characters 0-1:
Error: Files ./obj/main.cmx and ./obj/cfAbstraction.cmx
make inconsistent assumptions over implementation CfAbstraction
make5: * [pblast.opt] Error 2
make5: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/psrc'
make4:
[/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/bin/pblast.opt] Error 2
make4: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast'
make3:
[all] Error 2
make3: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast'
make2:
[backends/blast-subdir-install] Error 2
make2: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv'
make1:
[rcv-subdir-install] Error 2
make1: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv'
make: *
[dscv-subdir-install] Error 2


Related issues 1 (0 open1 closed)

Related to BLAST - Bug #600: BLAST compatibility with Ocaml 3.11ClosedPavel Shved12/02/2010

Actions
Actions #1

Updated by Vadim Mutilin about 14 years ago

workaround: goto submodule, clean it and make again

Actions #2

Updated by Pavel Shved about 14 years ago

Most likely, it won't be fixed. Keeping for reference for those who will encounter this problem in the future.

Actions #3

Updated by Evgeny Novikov almost 14 years ago

Is this duplicate of bug #600 now?

Actions #4

Updated by Pavel Shved almost 14 years ago

  • Category set to BLAST
  • Status changed from New to Rejected

It's not a duplicate, but I'll close it.

If you see a message like this:

Files FOO and BAR
make inconsistent assumptions over interface/implementation BAZ

Then run make clean, and the problem will be gone.

Actions

Also available in: Atom PDF