Yes, clang is in my PATH and clang version is 6.0.0. Thanks Rong
From: Nowack, Martin [mailto:[email protected]] Sent: Thursday, August 15, 2019 5:10 PM To: Zhang, RongX Z <[email protected]>; klee-dev <[email protected]> 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" <[email protected]<mailto:[email protected]>> 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
