[klee-dev] error while configuring klee

[Daniel Liew]

> 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.