Vijay, Before building llvm, you have to make sure you have llvm-gcc in your path.
To fix this issue, download and add llvm-gcc to your path, then reconfigure llvm. Not sure if rebuilding is necessary. Raimondas On 11/4/13 2:46 PM, Vijay Ganesh wrote: > 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] > <mailto:[email protected]>> wrote: > > Hi Vijay, please see this message from Dan: > http://www.mail-archive.com/[email protected]/__msg01302.html > <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 > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
