I have been trying to build KLEE using the LLVM-2.8 tools The target is Fedora 12 64bit implementation.
Marginal success These are my observations (1) Klee-uclibc-0.01-x64.tgz does not appear to have been compressed using GZip. In a Windows environment it will extract using 7-zip. Perchance was it prepared using 7-zip? (2) LLVM-2.8 needs to be built so as to create the /llvm-2.8/Release+Asserts directory, otherwise you will get build error of the form *** No rule to make target `/home/dbl/Tools-Source/llvm/llvm-2.8/suite/llvm-2.8/Release+Asserts/bin/opt ', needed by `/home/dbl/Tools-Source/klee/klee-2.8-llvm-2.8/klee/runtime/Intrinsic/Releas e+Asserts/klee_div_zero_check.bc'. Stop. I didn't know how to do this (the build options are a maze of confusion and hard coding), so I just created the Release+Asserts directory and copied all the files from the Release directory -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101122/d396a8ab/attachment.html
