That seems to work , but now when running configure I get some other checking error about LLVM Bitcode. This check passed fine using the klee original repo. The LLVM2.9 was built as instructed from http://ccadar.github.io/klee/GetStarted.html
./configure --with-llvm=/nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9/ --with-stp=/nfs/adaptive/tnguyen/Src/Devel/KLEE/stp/binary-build/ --with-uclibc=/nfs/adaptive/tnguyen/Src/Devel/KLEE/klee-uclibc/ --enable-posix-runtimechecking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking type of operating system we're going to host on... checking llvm source dir... /nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9 checking llvm obj dir... /nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9 checking llvm package version... 2.9 checking llvm version major... 2 checking llvm version minor... 9 checking llvm is release version... 1 checking llvm build mode... Release+Asserts checking LLVM Bitcode compiler... checking for llvm-gcc... NOT_FOUND checking for clang... FOUND checking for clang++... FOUND Using C llvm compiler : /usr/bin/clang Using C++ llvm compiler : /usr/bin/clang++ checking C LLVM Bitcode compiler works... /nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9/Release+Asserts/bin/llvm-dis: Unknown bitstream version! configure: error: Failed converting LLVM Bitcode to LLVM assembly. Maybe your LLVM versions do not match? On Wed, Feb 12, 2014 at 8:04 AM, Daniel Liew <[email protected]>wrote: > git pull https://github.com/delcypher/klee.gitfeature_support_stp_with_boost > Vu,
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
