My guess is that the configure is unable to find the llvm paths. make
sure that the -with-llvmsrc and -with-llvmobj are set. One easy way to
do this is to find the llvm-config which will provide the proper paths,
so for example in a bash script you coud run:
llvmsrcroot=$(llvm-config-3.6 --src-root)
llvmobjroot=$(llvm-config-3.6 --obj-root)
and then when configuring:
./configure --with-llvmsrc=$llvmsrcroot --with-llvmobj=$llvmobjroot
along with the rest of the options that you need.
Another thing to remember is the klee is best on 64bit systems, so if
possible use that.
On 04/08/2015 09:43 AM, Dan Liew wrote:
On 8 April 2015 at 00:45, Donald Raikes <[email protected]> wrote:
Hello,
I am trying to get klee compiled and installed on a debian 7.8 32-bit
virtual machine for some testing I need to do for my thesis.
I successfully installed llvm, clang, and stp from their respective
repositories.
I cloned https://github.com/klee/klee.git this afternoon,
and when I try to configure it using:
$ ./configure --with-llvm=$HOME/llvm-top/llvm
--with-stp=/usr/local/bin --enable-posix-runtime
I get an error saying that:
gcc: error: unrecognized command-line option '-V'
I can't figure out where this option is being set nor can I figure out
how to correct it.
My only advise would be take a look at the generated ``config.log``
file this may give you an idea of what happened. Although I have to
ask if you're using a VM why are you using Debian Wheezy, it's really
old.
Thanks,
Dan.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
