[klee-dev] klee-uclibc installation fails

[Dan Liew]

On 17 August 2016 at 17:03, Reza Ahmadi <re.ahmdi at gmail.com> wrote:
> 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.

Using clang 2.9 as your host compiler is not a configuration we test.
You can see in your error message that it is failing to link. Have you
actually tested that your copy of clang 2.9 can actually build native
code?

Note take a look at the `determineHostCompiler()` function in the
`configure` script. You may need to hack this to force the right
compiler to build the native code that uclibc's build system needs.