Please update KLEE, I've updated to the new APIs. - Daniel
On Wed, Jul 15, 2009 at 10:36 AM, Bucur Stefan<stefan.bucur at epfl.ch> wrote: > 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 > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
