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
