Hello, I'm having some trouble with compiling the latest KLEE tree from klee.llvm.org. I followed the instructions on the "Getting Started", however at step 5 (Build KLEE), at a certain point in the compilation process, make stops with the following error:
make[2]: Entering directory `/home/stefan/work/klee.source/lib/Core' llvm[2]: Compiling AddressSpace.cpp for Release build llvm[2]: Compiling CallPathManager.cpp for Release build llvm[2]: Compiling Common.cpp for Release build llvm[2]: Compiling CoreStats.cpp for Release build llvm[2]: Compiling ExecutionState.cpp for Release build llvm[2]: Compiling Executor.cpp for Release build Executor.cpp: In member function ?void klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*)?: Executor.cpp:1383: error: no matching function for call to ?llvm::ConstantInt::get(const llvm::IntegerType*, uint64_t)? /home/stefan/work/llvm.source/include/llvm/Constants.h:107: note: candidates are: static llvm::ConstantInt* llvm::ConstantInt::get(const llvm::APInt&) make[2]: *** [/home/stefan/work/klee.source/lib/Core/Release/Executor.o] Error 1 make[2]: Leaving directory `/home/stefan/work/klee.source/lib/Core' make[1]: *** [Core/.makeall] Error 2 make[1]: Leaving directory `/home/stefan/work/klee.source/lib' make: *** [all] Error 1 Do you have any idea how to fix this? Thanks, Stefan Bucur
