Hi Cristian, I managed to install KLEE without uclibc for now.
However, when I run 'make check' I get the following error: KLEE: ERROR: error loading program '2012-05-13-asm-causes-aborts.c.tmp1.bc': Invalid bitcode signature Any idea what is going on. Cheers, Vijay Ganesh. ________________________________________ From: Cristian Cadar [[email protected]] Sent: Monday, November 04, 2013 4:06 PM To: Vijay Ganesh Cc: Vijay Ganesh; klee-dev Subject: Re: Difficulty installing KLEE Hi Vijay, please see this message from Dan: http://www.mail-archive.com/[email protected]/msg01302.html We should add a note on the website about this. Best, Cristian On 04/11/2013 20:56, Vijay Ganesh wrote: > > Hi All, > > I am having difficulty installing the latest version of KLEE, or to be > more precise LLVM. > > I am trying out llvm 2.9. I followed the instructions carefully. I am > running 64-bit Linux Mint. > > I get the following compile errors: > > make[3]: Entering directory `/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT' > llvm[3]: Compiling Intercept.cpp for Release+Asserts build > In file included from JIT.h:17:0, > from Intercept.cpp:18: > /home/vganesh/llvm-2.9/include/llvm/ExecutionEngine/ExecutionEngine.h: > In member function ‘virtual void* > llvm::ExecutionEngine::getOrEmitGlobalVariable(const > llvm::GlobalVariable*)’: > /home/vganesh/llvm-2.9/include/llvm/ExecutionEngine/ExecutionEngine.h:343:45: > warning: cast from type ‘const llvm::GlobalVariable*’ to type > ‘llvm::GlobalValue*’ casts away qualifiers [-Wcast-qual] > Intercept.cpp: In constructor ‘{anonymous}::StatSymbols::StatSymbols()’: > Intercept.cpp:69:67: error: ‘lseek64’ was not declared in this scope > /bin/rm: cannot remove > ‘/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.d.tmp’: > No such file or directory > make[3]: *** > [/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.o] > Error 1 > make[3]: Leaving directory `/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT' > make[2]: *** [JIT/.makeall] Error 2 > make[2]: Leaving directory `/home/vganesh/llvm-2.9/lib/ExecutionEngine' > make[1]: *** [ExecutionEngine/.makeall] Error 2 > make[1]: Leaving directory `/home/vganesh/llvm-2.9/lib' > make: *** [all] Error 1 > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
