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