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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
