[klee-dev] Difficulty installing KLEE

[Vijay Ganesh]

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>wrote:

> Hi Vijay, please see this message from Dan:
> 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
>>
>>
-------------- next part --------------
HTML attachment scrubbed and removed