It looks to me like klee-uclibc was not built correctly. BTW, if you run into many issues building KLEE, I recommend to use the provided Docker containers instead: https://klee.github.io/docker/
Best, Cristian On 19/08/2019 06:40, Zhang, RongX Z wrote: > Thanks Cristian, I do as you said, and rerun configure successfully, but when > I cmake KLEE, another error occurs: > > klee-uclibc library not found at "/home/tiano/env/klee-uclibc/lib/libc.a". > > and I cmake Klee with the latest klee-uclibc on Ubuntu which I ever cmake > Klee successfully, it is failed, and error log is the same as on Clear Linux. > > > Thanks > Rong > > -----Original Message----- > From: [email protected] > [mailto:[email protected]] On Behalf Of Cadar, Cristian > Sent: Friday, August 16, 2019 6:22 PM > To: klee-dev <[email protected]> > Subject: Re: [klee-dev] build klee-uclibc failed > > 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 > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
