Hi, I had installed klee (with llvm 2.9) without klee-uclibc. Now I want to re-install klee including klee-uclibc. When I try to configure it complains that I need to install ncurses.
I installed ncurses using this, but still recieve that error message. sudo apt-get install libncurses-dev Here is what I receive. I am wondering if you could help. Thanks. ahmadi@jding001:~/klee-uclibc$ ./configure --make-llvm-lib INFO:Disabling assertions INFO:Configuring for Debug build INFO:Configuring for LLVM bitcode archive INFO:Using llvm-config at.../home/ahmadi/llvm-2.9/Release+Asserts/bin/llvm-config INFO:Using llvm tool dir.../home/ahmadi/llvm-2.9/Release+Asserts/bin INFO:Found "/home/ahmadi/llvm-2.9/Release+Asserts/bin/llvm-objdump". INFO:Found "/home/ahmadi/llvm-2.9/Release+Asserts/bin/llvm-link". INFO:Found "/home/ahmadi/llvm-2.9/Release+Asserts/bin/llvm-ar". INFO:Found "/home/ahmadi/llvm-2.9/Release+Asserts/bin/llvm-nm". INFO:Searching for LLVM Bitcode compiler... INFO:Found clang in LLVM Build dir.../home/ahmadi/llvm-2.9/Release+Asserts/bin/clang INFO:Testing LLVM Bitcode compiler.../home/ahmadi/llvm-2.9/Release+Asserts/bin/clang INFO:Compiler /home/ahmadi/llvm-2.9/Release+Asserts/bin/clang works INFO:Using LLVM Bitcode Compiler.../home/ahmadi/llvm-2.9/Release+Asserts/bin/clang INFO:Checking for ncurses... ERROR:Failed to find ncurses. Compiler said: /usr/bin/ld: cannot find crtbegin.o: No such file or directory /usr/bin/ld: cannot find -lgcc /usr/bin/ld: cannot find -lgcc_s clang: error: linker command failed with exit code 1 (use -v to see invocation) ERROR:You should install the ncurses library and development headers. -- Reza Ahmadi Ph.D. student Software Technology lab 624 Goodwin Hall Queen's University, Kingston, ON +1 (613) 7708830 | ahm...@cs.queensu.ca https://sites.google.com/site/reahmdi/
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev