[klee-dev] build klee-uclibc failed

[Cadar, Cristian]

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
>