[LLVMdev] problems the klee toolchain built

[Donald Raikes]

Hello,

I need to use klee for some research for my thesis, but I have been
pounding my head against a wall for the last week trying to get klee
and all its dependencies to compile.

I have succeeded in getting cryptominisat 2.9.9, stp rev 1637, and
llvm 3.7.0.svn to compile finally. I can't get klee-uClibc nor klee to
compile at all.

I understand that klee is being used in the "real world" but I just
don't see how to get all the pieces to compile and play together.

Any help would be greatly appreciated.

Thanks in advance,
Donald