[klee-dev] build klee-uclibc failed

[Zhang, RongX Z]

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