[klee-dev] Arch linux: Cannot build Klee , stuck with "Unable to link with libstp"
Daniel Liew
daniel.liew at imperial.ac.uk
Wed Feb 12 15:56:53 GMT 2014
Current upsteam KLEE has the following order of precedence in the
configure script for detecting the bitcode compiler.
1. Clang inside your LLVM build directory
2. llvm-gcc in your PATH environment
3. clang in your PATH environment
If llvm-gcc is in your PATH and you didn't build clang inside your
llvm build directory then llvm-gcc should be picked up. If it really
isn't working for some bizarre reason you can force the bitcode
compiler by doing
$ ./configure --with-llvmcc=/path/to/llvm-gcc
--with-llvmcxx=/path/to/llvm-g++ <other configure options>
> The LLVM2.9 bin path is in my PATH. But it *does not* have clang++ or clang as shown below. The original klee repo configure script apparently does not check (and use?) clang* that's why I didn't get such errors before.
I don't know what you mean by "original klee repo".
> prime Wed Feb 12:08:35:58 (4270)
> ~/Src/Devel/KLEE/llvm-gcc4.2-2.9-x86_64-linux/bin
> $ ls
> llvm-c++* x86_64-unknown-linux-gnu-cpp-4.2.1*
> llvm-cpp* x86_64-unknown-linux-gnu-gcc-4.2.1*
> llvm-g++* x86_64-unknown-linux-gnu-llvm-c++*
> llvm-gcc* x86_64-unknown-linux-gnu-llvm-cpp*
> llvm-gccbug* x86_64-unknown-linux-gnu-llvm-g++*
> llvm-gcov* x86_64-unknown-linux-gnu-llvm-gcc*
> llvm-gfortran* x86_64-unknown-linux-gnu-llvm-gfortran*
This does not actually prove that llvm-gcc is your path...you should
do something like
$ which llvm-gcc
/home/dsl11/dev/klee/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc
to check. The fact that KLEE's configure script picked up clang as the
bitcode compiler would indicate (unless there's a bug in the configure
script) that llvm-gcc is not in your PATH when you ran configure.
Thanks,
Dan.
More information about the klee-dev
mailing list