[klee-dev] build klee-uclibc failed

[Nowack, Martin]

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> 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>; klee-dev <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.
-------------- next part --------------
HTML attachment scrubbed and removed