[klee-dev] Difficulty installing KLEE

[Vijay Ganesh]

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