Dear KLEE project members: I'm Linfeng, and now I am working on a research topic on klee. I do the compiling according to the link: http://klee.llvm.org/GetStarted.html And I tried to build KLEE on my Ubuntu 10.10. Now I have successfully compiled LLVM2.9, STP, uclibc. But when I come to last step to compile the klee code pulled from git, I found an error in configuring the klee source. The following show the detailed information: (The configure found error: *Unable to link with libstp*) Actually I have successfully built the STP according to the above link, and the executable STP located in:* /usr/local/bin/stp* and its library located in:* /usr/local/lib/libstp.a* I tried several times, but still didn't figure out what's the reason for this?
*$ ./configure --with-llvm=../llvm-2.9 --with-stp=/usr/local --with-uclibc=../klee-uclibc-0.02-x64 --enable-posix-runtime* checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking type of operating system we're going to host on... checking llvm source dir... /home/michael/llvm-2.9 checking llvm obj dir... /home/michael/llvm-2.9 checking llvm package version... 2.9 checking llvm version major... 2 checking llvm version minor... 9 checking llvm is release version... 1 checking llvm build mode... Release+Asserts checking uclibc... /home/michael/klee-uclibc-0.02-x64 checking POSIX runtime... yes checking runtime configuration... Release+Asserts checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking sys/acl.h usability... no checking sys/acl.h presence... no checking for sys/acl.h... no checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking selinux/selinux.h usability... no checking selinux/selinux.h presence... no checking for selinux/selinux.h... no 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* Then I post this to ask for helpful advice on my problem! I would appreciate it if you can point out me the possible reason which contribute the error. -- Best Regards Linfeng
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
