[klee-dev] build klee-uclibc failed

[Cadar, Cristian]

It looks to me like klee-uclibc was not built correctly.

BTW, if you run into many issues building KLEE, I recommend to use the 
provided Docker containers instead:
https://klee.github.io/docker/

Best,
Cristian

On 19/08/2019 06:40, Zhang, RongX Z wrote:
> Thanks Cristian, I do as you said, and rerun configure successfully, but when I cmake KLEE, another error occurs:
> 
>    klee-uclibc library not found at "/home/tiano/env/klee-uclibc/lib/libc.a".
> 
> and I cmake Klee with the latest klee-uclibc on Ubuntu which I ever cmake  Klee successfully, it is failed, and error log is the same as on Clear Linux.
> 
> 
> Thanks
> Rong
> 
> -----Original Message-----
> From: klee-dev-bounces at imperial.ac.uk [mailto:klee-dev-bounces at imperial.ac.uk] On Behalf Of Cadar, Cristian
> Sent: Friday, August 16, 2019 6:22 PM
> To: klee-dev <klee-dev at imperial.ac.uk>
> Subject: Re: [klee-dev] build klee-uclibc failed
> 
> What seems to happen there is that you have $CC set to /usr/bin/gcc.
> Unset it and rerun configure and hopefully it should work.  I updated the script to add a more informative error message when this happens (patch to be merged soon).
> 
> Cristian
> 
> On 16/08/2019 02:48, Zhang, RongX Z wrote:
>> Yes, I checked  usr/local/bin/llvm-dis  –version, it is 6.0
>>
>> Thanks
>>
>> Rong
>>
>> *From:* Nowack, Martin [mailto:m.nowack at imperial.ac.uk]
>> *Sent:* Thursday, August 15, 2019 5:55 PM
>> *To:* Zhang, RongX Z <rongx.z.zhang at intel.com>; klee-dev
>> <klee-dev at imperial.ac.uk>
>> *Subject:* RE: [klee-dev] build klee-uclibc failed
>>
>> For most LLVM tools, it should be '-v'. Just to cross check.
>>
>> On 15 August 2019 11:25:34 CEST, "Zhang, RongX Z"
>> <rongx.z.zhang at intel.com <mailto:rongx.z.zhang at intel.com>> wrote:
>>
>>      Sorry, how to check this?  /usr/local/bin/llvm* is installed by
>>      myself, and I thinks it’s llvm 6.0.
>>
>>      *From:* Nowack, Martin [mailto:m.nowack at imperial.ac.uk]
>>      *Sent:* Thursday, August 15, 2019 5:15 PM
>>      *To:* Zhang, RongX Z <rongx.z.zhang at intel.com
>>      <mailto:rongx.z.zhang at intel.com>>; klee-dev <klee-dev at imperial.ac.uk
>>      <mailto:klee-dev at imperial.ac.uk>>
>>      *Subject:* RE: [klee-dev] build klee-uclibc failed
>>
>>      Can you check which LLVM version usr/local/bin/llvm-dis uses?
>>
>>      Cheers,
>>      Martin
>>
>>      On 15 August 2019 11:12:02 CEST, "Zhang, RongX Z"
>>      <rongx.z.zhang at intel.com <mailto:rongx.z.zhang at intel.com>> wrote:
>>
>>          Yes, clang is in my PATH and clang version is 6.0.0.
>>
>>          Thanks
>>
>>          Rong
>>
>>          *From:* Nowack, Martin [mailto:m.nowack at imperial.ac.uk]
>>          *Sent:* Thursday, August 15, 2019 5:10 PM
>>          *To:* Zhang, RongX Z <rongx.z.zhang at intel.com
>>          <mailto:rongx.z.zhang at intel.com>>; klee-dev
>>          <klee-dev at imperial.ac.uk <mailto:klee-dev at imperial.ac.uk>>
>>          *Subject:* Re: [klee-dev] build klee-uclibc failed
>>
>>          Dear Rong,
>>          Can you check if clang is in your PATH?
>>          'clang -v' should print out 6.0 as well.
>>
>>          Clang is not necessarily installed as a dependency of LLVM.
>>
>>          Hope that helps.
>>
>>          Best,
>>          Martin
>>
>>          On 15 August 2019 09:26:23 CEST, "Zhang, RongX Z"
>>          <rongx.z.zhang at intel.com <mailto:rongx.z.zhang at intel.com>> wrote:
>>
>>              Hi ,
>>
>>              I am installing KLEE on Clear Linux, when I build the latest
>>              klee-uclibc , and run command : ./configure --make-llvm-lib,
>>              it’s failed and error log is:
>>
>>              INFO:Forcing C compiler to be...gcc
>>
>>              INFO:Absolute path to compiler.../usr/bin/gcc
>>
>>              INFO:Disabling assertions
>>
>>              INFO:Configuring for Debug build
>>
>>              INFO:Configuring for LLVM bitcode archive
>>
>>              INFO:Using llvm-config at.../usr/local/bin/llvm-config
>>
>>              INFO:Using llvm tool dir.../usr/local/bin
>>
>>              INFO:Found "/usr/local/bin/llvm-nm".
>>
>>              INFO:Found "/usr/local/bin/llvm-ar".
>>
>>              INFO:Found "/usr/local/bin/llvm-link".
>>
>>              INFO:Found "/usr/local/bin/llvm-objdump".
>>
>>              INFO:Testing LLVM Bitcode compiler.../usr/bin/gcc
>>
>>              INFO:Conversion of LLVM Bitcode to LLVM Assembly failed with
>>              output:
>>
>>              /usr/local/bin/llvm-dis: error: Invalid bitcode signature
>>
>>              ERROR:LLVM Bitcode compiler does not work.
>>
>>              Can you tell me how to resolve this problem?
>>
>>              Gcc version :9.1.1
>>
>>              llvm version:6.0.
>>
>>              Thanks
>>
>>              Rong
>>
>>
>> --
>> Sent from my Android device with K-9 Mail. Please excuse my brevity.
>>
>>
>> _______________________________________________
>> klee-dev mailing list
>> klee-dev at imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>