Yes, I checked usr/local/bin/llvm-dis –version, it is 6.0
Thanks Rong From: Nowack, Martin [mailto:m.now...@imperial.ac.uk] Sent: Thursday, August 15, 2019 5:55 PM To: Zhang, RongX Z <rongx.z.zh...@intel.com>; klee-dev <klee-dev@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.zh...@intel.com<mailto:rongx.z.zh...@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.now...@imperial.ac.uk] Sent: Thursday, August 15, 2019 5:15 PM To: Zhang, RongX Z <rongx.z.zh...@intel.com<mailto:rongx.z.zh...@intel.com>>; klee-dev <klee-dev@imperial.ac.uk<mailto:klee-dev@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.zh...@intel.com<mailto:rongx.z.zh...@intel.com>> wrote: Yes, clang is in my PATH and clang version is 6.0.0. Thanks Rong From: Nowack, Martin [mailto:m.now...@imperial.ac.uk] Sent: Thursday, August 15, 2019 5:10 PM To: Zhang, RongX Z <rongx.z.zh...@intel.com<mailto:rongx.z.zh...@intel.com>>; klee-dev <klee-dev@imperial.ac.uk<mailto:klee-dev@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.zh...@intel.com<mailto:rongx.z.zh...@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@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev