[klee-dev] klee-uclibc installation fails

Reza Ahmadi re.ahmdi at gmail.com
Wed Aug 17 17:03:03 BST 2016


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 at 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 | ahmadi at cs.queensu.ca
https://sites.google.com/site/reahmdi/
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list