[klee-dev] Difficulty installing KLEE

[Raimondas Sasnauskas]

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 <c.cadar at imperial.ac.uk
> <mailto:c.cadar at imperial.ac.uk>> wrote:
> 
>     Hi Vijay, please see this message from Dan:
>     http://www.mail-archive.com/__klee-dev@imperial.ac.uk/__msg01302.html <http://www.mail-archive.com/klee-dev@imperial.ac.uk/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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>