Thanks Cristian! I managed to install llvm.
Another problem. When I compile the 64bit uclibc from the KLEE website, I get the following error. (I configured by using the command ./configure --with-llvm=/path/to/llvm-top-level-directory): gcc-4.6: error: unrecognized option ‘--emit-llvm’ gcc-4.6: error: unrecognized option ‘--emit-llvm’ gcc-4.6: error: unrecognized option '--emit-llvm' gcc-4.6: error: unrecognized option '--emit-llvm' gcc-4.6: error: unrecognized option '--emit-llvm' gcc-4.6: error: unrecognized option '--emit-llvm' CC libcrypt/des.os gcc-4.6: error: unrecognized option '--emit-llvm' make: *** [libcrypt/des.os] Error 1 -Vijay. On Mon, Nov 4, 2013 at 4:06 PM, Cristian Cadar <[email protected]>wrote: > 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
