Then symptom is: heng@osprey:~/klee/klee-build$ ../klee/configure --with-llvm=/home/hucheng/llvm-2.9/llvm-obj --with-stp=/usr/local .... checking stp/c_interface.h usability... yes checking stp/c_interface.h presence... yes checking for stp/c_interface.h... yes checking for vc_setInterfaceFlags in -lstp... no configure: error: Unable to link with libstp
Thanks. On Tue, Oct 9, 2012 at 7:20 PM, Hucheng Zhou <[email protected]> wrote: > heng@osprey:~/klee/klee-build$ ../klee/configure > --with-llvm=/home/hucheng/llvm-2.9/llvm-obj --with-stp=/usr/local -- cheers~!
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
