Dear all, I met a problem when compiling klee against llvm-2.8.
llvm-2.8 and llvm-gcc-4.2-2.8-i686-linux are used for llvm envrionment. command and error message are discribed as follows, who knows how to fix it, please help me. Thank you very much. command : *./configure --with-llvm=/home/yang/research/KLEE/llvm-2.8* ** *make ENABLE_OPTIMIZED=1 REQUIRES_RTTI=1 LD_LIBRARY_PATH=/home/yang/research/KLEE/llvm-gcc-4.2-2.8-i686-linux/bin/* error message: *make[2]: Leaving directory `/home/yang/research/KLEE/klee/tools/gen-random-bout' make[2]: Entering directory `/home/yang/research/KLEE/klee/tools/klee-stats' llvm[2]: Copying Release script klee-stats make[2]: Leaving directory `/home/yang/research/KLEE/klee/tools/klee-stats' make[1]: Leaving directory `/home/yang/research/KLEE/klee/tools' make[1]: Entering directory `/home/yang/research/KLEE/klee/runtime' make[2]: Entering directory `/home/yang/research/KLEE/klee/runtime/Intrinsic' llvm[2]: Compiling klee_div_zero_check.c for Release+Asserts build (bytecode) /bin/sh: /home/yang/research/KLEE/llvm-gcc-4.2-2.8-i686-linux/bin/: is a directory /bin/rm: cannot remove `/home/yang/research/KLEE/klee/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.bc.d.tmp': No such file or directory make[2]: *** [/home/yang/research/KLEE/klee/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.ll] Error 1 make[2]: Leaving directory `/home/yang/research/KLEE/klee/runtime/Intrinsic' make[1]: *** [Intrinsic/.makeall] Error 2 make[1]: Leaving directory `/home/yang/research/KLEE/klee/runtime' make: *** [all] Error 1 * -- Best regards, yang --------------------------------------------- Yuyang Liu, Ph.D Candidate Provable Software Lab. http://pswlab.kaist.ac.kr/ Rm# 2438, Building E3-1, CS Dept. KAIST 373-1 Guseong-dong, Yuseong-gu Daejon, South Korea (305-701) Phone:+82-42-350-3583 email: yuyang0907 at gmail.com -------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110111/accc48d9/attachment.html
