> What can I do, to compile klee successfully? You should check the contents of config.log to see if there are any clues as to what went wrong. If I had to guess but based on your error message it sounds like either
* you haven't properly told KLEE about your LLVM2.9 source and LLVM2.9 binary directories * you've built LLVM in a build mode that KLEE doesn't support Thanks, Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
