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:[email protected]] > *Sent:* Thursday, August 15, 2019 5:55 PM > *To:* Zhang, RongX Z <[email protected]>; klee-dev > <[email protected]> > *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" > <[email protected] <mailto:[email protected]>> 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:[email protected]] > *Sent:* Thursday, August 15, 2019 5:15 PM > *To:* Zhang, RongX Z <[email protected] > <mailto:[email protected]>>; klee-dev <[email protected] > <mailto:[email protected]>> > *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" > <[email protected] <mailto:[email protected]>> wrote: > > 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] > <mailto:[email protected]>>; klee-dev > <[email protected] <mailto:[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 > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
