[klee-dev] Arch linux: Cannot build Klee , stuck with "Unable to link with libstp"

[ThanhVu (Vu) Nguyen]

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 <daniel.liew at imperial.ac.uk>wrote:

> git pull https://github.com/delcypher/klee.gitfeature_support_stp_with_boost
>



Vu,
-------------- next part --------------
HTML attachment scrubbed and removed