Dear KLEE project members: I'm Changjiang, a graduate from City University of Hong Kong. I try to build KLEE on my Ubuntu. All the other components (e.g., LLVM, uclibc) are compiled correctly. Only the STP introduces the compilation error. I followed the steps in the KLEE homepage step by step. But there is still the compilation error. For example, after checking out the STP source code, I use the following commands to compile it:
$ ./scripts/configure --with-prefix=* /home/changjiang/Project/STP/stp/install* --with-cryptominisat2 $ make OPTIMIZE=-O2 CFLAGS_M32= install Please help me to check this issue. Thank you very much. I just attached the end part of the compilation information for you to check: cp libminisat.a ../ cp Logger.o Solver.o PackedRow.o XorFinder.o VarReplacer.o FindUndef.o ClauseCleaner.o RestartTypeChooser.o FailedVarSearcher.o PartFinder.o Subsumer.o PartHandler.o XorSubsumer.o Gaussian.o MatrixFinder.o StateSaver.o ClauseAllocator.o UselessBinRemover.o OnlyNonLearntBins.o ../ make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/home/changjiang/Project/STP/stp/src/sat/cryptominisat2' make[1]: Leaving directory `/home/changjiang/Project/STP/stp/src/sat' make -C src/parser make[1]: Entering directory `/home/changjiang/Project/STP/stp/src/parser' bison -d -y --debug -v -o cvc.tab.c -p cvc CVC.y /bin/bash: bison: command not found make[1]: *** [parseCVC_defs.h] Error 127 make[1]: Leaving directory `/home/changjiang/Project/STP/stp/src/parser' make: *** [all] Error 2 changjiang@changjiang-laptop:~/Project/STP/stp$ <[email protected]>Best regards Changjiang
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
