Hi: I am new to Klee, and wish to build Klee from scratch according to the http://klee.llvm.org/GetStarted.html. LLVM and STP are all built successfully, while I met error during configuration of Klee itself.
hucheng@osprey:~/klee/klee-build$ ../klee/configure --with-llvm=/home/hucheng/llvm-2.9/llvm-obj --with-stp=/usr/local Anywhere I am wrong? Thanks for your incoming suggestions. Thanks -- cheers~!
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
