hello, thanks a lot for your emails. i compile klee on an intel core 2 Duo with Fedora 11. i use llvm-gcc-4.2-2.6-i686-linux.tar.gz according to my computer configuration. others are the same. i follow your instructions to build klee, but i encounter questions.everything is fine until step 11 that build klee. it turn out to be this:
[dzy at localhost klee]$ make ENABLE_OPTIMIZED=1 CC=llvm-gcc CXX=llvm-g++ make[1]: Entering directory `/home/dzy/klee/stp' make: Entering an unknown directory make: *** AST: No such file or directory. Stop. make: Leaving an unknown directory make: Entering an unknown directory make: *** AST: No such file or directory. Stop. make: Leaving an unknown directory make[1]: *** [AST/libast.a] Error 2 make[1]: Leaving directory `/home/dzy/klee/stp' make: *** [all] Error 1 please help me, thanks! your instruction: 1. create 3 dirs: llvm-gcc, llvm and klee in $HOME. (if you want to check where your $HOME points to, write 'echo $HOME' in a terminal window) 2. download llvm-gcc 2.6 from here http://llvm.org/releases/2.6/llvm-gcc-4.2-2.6-x86_64-linux.tar.gz and extract to the llvm-gcc dir. 3. add the $HOME/llvm-gcc/llvm-gcc-4.2-2.6-x86_64-linux/bin to your PATH. 4. cd to ~ and write "llvm" and press tab, if you get a list of programs like llvm-c++, llvm-g++, llvm-gccbug, llvm-gfortran and others you are fine, if not, check that $PATH is set correctly (in bash I changed ~/.bash_profile to include that path) 5. to be really sure you are using the right llvm-gcc, type 'which llvm-gcc' - you should get the path entered at step 3. 6. ok, now enter the llvm dir and download llvm-2.6 with: $ curl -O http://llvm.org/releases/2.6/llvm-2.6.tar.gz 7. continue according to the "Getting Started: Building and Running KLEE" (I am pasting all here): $ tar zxvf llvm-2.6.tar.gz $ cd llvm-2.6 8. This is different than in the page: $ ./configure CC=llvm-gcc CXX=llvm-g++ --enable-optimized $ make 9. cd to $HOME/klee and checkout KLEE: $ svn co http://llvm.org/svn/llvm-project/klee/trunk $HOME/klee 10. Configure KLEE (from the $HOME/klee directory): $ ./configure --with-llvm=%HOME/llvm 11. build (again, not as in page): $ make ENABLE_OPTIMIZED=1 CC=llvm-gcc CXX=llvm-g++ 12. install dejagnu (I used yumex for that) 13. run 'make check'. It will fail at the end but it looks like the execution itself goes ok 14. run 'make unittests'. again, runs the unittests and looks ok. 15. before running the tutorials you may want to run 'make install' or somehow add the header files to your environment. the comments at the end: - This is how I did it , hopefully I didn't forget anything, if I did, please let me know. - I hope that this helps. _______________________________________________ klee-dev mailing list klee-dev at keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev<http://keeda.stanford.edu/mailman/listinfo/klee-dev> -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091028/ba72c8b7/attachment.html
