[LLVMdev] klee problems configuring

Donald Raikes don.raikes at nyu.edu
Tue Apr 7 08:11:26 PDT 2015


Hello,

I am trying to get klee to compile on debian 7.8 amd64 system.

I have successfully installed llvm release build from within the
llvm-top folder, but when I try to configure klee, it keeps saying it
cannot autodetect the llvm build mode even though I pass the
--with-llvm-build-mode=Release switch.

Any thoughtswould be appreciated.

Tia,
Donald



More information about the llvm-dev mailing list