[klee-dev] problems configuring klee on debian 7.8

[Donald Raikes]

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.

Any help would be greatly appreciated.

Thanks in advance,
Donald