[klee-dev] problems configuring klee on debian 7.8

[chace]

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 <don.raikes at nyu.edu> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

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