You're missing "bison". Try installing it with sudo apt-get install bison
and then continue your build. Regards, Michael On 4/10/12, Changjiang Jia <[email protected]> wrote: > 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
