[klee-dev] problems configuring klee on debian 7.8

[Dan Liew]

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.