Hello, I meet a failure when compiling klee in Linux, and got below errors.
How can I fix it? Thank you very much ~~~~~~ compiling script is as follows: *./configure --with-llvm=/home/yang/research/KLEE/llvm-2.7* *make ENABLE_OPTIMIZED=1 REQUIRES_RTTI=1 LD_LIBRARY_PATH=/home/yang/research/KLEE/llvm-gcc-4.2-2.8-i686-linux/bin/* also I set environment variables as *PATH=$PATH:/home/yang/research/KLEE/llvm-gcc-4.2-2.8-i686-linux/bin* *export LLVM_LIB_SEARCH_PATH="/home/yang/research/KLEE/llvm-2.7/lib"* *export CPPFLAGS="-I/opt/gtk/include" export LDFLAGS="-L/opt/gtk/lib" export PKG_CONFIG_PATH="/opt/gtk/lib/pkgconfig" * And compile failure is as follows: *llvm[2]: Compiling klee_div_zero_check.c for Release 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/klee_div_zero_check.bc.d.tmp': No such file or directory make[2]: *** [/home/yang/research/KLEE/klee/runtime/Intrinsic/Release/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 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110111/56cb1f4e/attachment.html
