Linux Driver Verification

BLAST submodule was updated from e8dee6acce8bb3174122bf7659f0b5c9b9836f9a to
af97c1cd0e415826fa3be6fafee3811fb5ae4f4d

After it make install fails with error:

make⁷: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/cvc3-dev/src/src/cvc3'
make<sup>6</sup>: 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
make⁵: 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
make<sup>5</sup>: Entering directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/psrc'
make⁵: Nothing to be done for `all'.
make<sup>5</sup>: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/psrc'
make RELEASE=1 -C psrc
make⁵: 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
make<sup>5</sup>: * [pblast.opt] Error 2
make<sup>5</sup>: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/psrc'
make⁴: [/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast/bin/pblast.opt] Error 2
make⁴: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast/blast'
make<sup>3</sup>: [all] Error 2
make<sup>3</sup>: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv/backends/blast'
make²: [backends/blast-subdir-install] Error 2
make²: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv/rcv'
make<sup>1</sup>: [rcv-subdir-install] Error 2
make<sup>1</sup>: Leaving directory `/home/joker/work/14_driver/ldv-git/ldv-tools/dscv'
make: * [dscv-subdir-install] Error 2