[klee-dev] Unable to compile klee

[Michael Stone]

Daniel wrote:

> Make sure when you configure LLVM that it is finding an llvm-gcc which
> matches the same version of LLVM.

This statement would be a good addition to the 

   http://klee.llvm.org/GetStarted.html

instructions.

Regards,

Michael