Hi, sorry for always posting build errors here, but I can't figure this one out.
I tried building klee (svn head) against llvm-2.8 today. I got the following error: ./configure --with-llvm=/home/xuanji/llvm-2.8/ make ENABLE_OPTIMIZED=1 ... make[2]: Entering directory `/home/xuanji/klee/runtime/Intrinsic' llvm[2]: Compiling klee_div_zero_check.c for Release+Asserts build (bytecode) make[2]: *** No rule to make target `/home/xuanji/llvm-2.8/Release+Asserts/bin/opt', needed by `/home/xuanji/klee/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.bc'. Stop. make[2]: Leaving directory `/home/xuanji/klee/runtime/Intrinsic' make[1]: *** [Intrinsic/.makeall] Error 2 make[1]: Leaving directory `/home/xuanji/klee/runtime' make: *** [all] Error 1 llvm-2.8 doesn't seem to have a Release+Asserts directory. I tried creating a symlink so that Release+Asserts points to the Release directory but that didn't work either. Thanks for your help! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101105/342aabfa/attachment.html
