[klee-dev] Install Problems for LLVM2.9

[Zhiyi Zhang]

Hello,

I encountered a problem when I installed LLVM2.9. The error information is
as following:

Intercept.cpp:69:67: error: ‘lseek64’ was not declared in this scope
sys::DynamicLibrary::AddSymbol("\x1lseek64", (void*)(intptr_t)lseek64);
                                                                   ^
/bin/rm: cannot remove
‘/home/loveling10/klee/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.d.tmp’:
No such file or directory
/home/loveling10/klee/llvm-2.9/Makefile.rules:1492: recipe for target
'/home/loveling10/klee/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.o'
failed
make[3]: ***
[/home/loveling10/klee/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.o]
Error 1
make[3]: Leaving directory
'/home/loveling10/klee/llvm-2.9/lib/ExecutionEngine/JIT'
/home/loveling10/klee/llvm-2.9/Makefile.rules:829: recipe for target
'JIT/.makeall' failed
make[2]: *** [JIT/.makeall] Error 2
make[2]: Leaving directory
'/home/loveling10/klee/llvm-2.9/lib/ExecutionEngine'
/home/loveling10/klee/llvm-2.9/Makefile.rules:829: recipe for target
'ExecutionEngine/.makeall' failed
make[1]: *** [ExecutionEngine/.makeall] Error 2
make[1]: Leaving directory '/home/loveling10/klee/llvm-2.9/lib'
/home/loveling10/klee/llvm-2.9/Makefile.rules:780: recipe for target 'all'
failed
make: *** [all] Error 1

Fortunately, I have found one solution from the
mail-list*(https://mailman.ic.ac.uk/mailman/htdig/klee-dev/2013-September/000359.html
<https://mailman.ic.ac.uk/mailman/htdig/klee-dev/2013-September/000359.html>)*
.
It is said that I need a fixed patch about
*LLVM2.9(unistd-llvm-2.9-jit.patch)*. However, the attachment  maybe
invalid so I can not download it.* So Could you send
a unistd-llvm-2.9-jit.patch to me?*

*Another question is that do I need to have the below environment variables
set when installing LLVM2.9?*

C_INCLUDE_PATH=/usr/include/x86-linux-gnu
CPLUS_INCLUDE_PATH=/usr/include/x86-linux-gnu

Since I do not found this setup on the KLEE get-start webpage, I only
have the llvm-gcc/bin in my path.

Thank you.

Zhiyi Zhang
-------------- next part --------------
HTML attachment scrubbed and removed