I actually did. However, I didn't install the llvm-gcc linked up from the KLEE website. I instead sudoed it. I then configured llvm, and installed it.
Is it important that I didn't install llvm-gcc linked up from the KLEE website? Cheers, Vijay Ganesh. On Mon, Nov 4, 2013 at 4:50 PM, Raimondas Sasnauskas <[email protected]>wrote: > 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 >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
