The new instructions to compile Coreutils with LLVM 3.4 are now available on the website: http://klee.github.io/tutorials/testing-coreutils/ Please report any issue!
Best, Andrea > On 24 Nov 2016, at 09:12, Thuan Pham <[email protected]> wrote: > > Hi Dan, > Thank you very much. It works! > Regards, > Thuan > > On Thu, Nov 24, 2016 at 4:45 PM, Dan Liew <[email protected] > <mailto:[email protected]>> wrote: > On 24 November 2016 at 03:57, Thuan Pham <[email protected] > <mailto:[email protected]>> wrote: > > Hi, > > Has anyone tried to use KLEE to test newest version of Coreutils, say 8.25? > > I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE - > > LLVM3.4 can compile Coreutils successfully. > > > > Here is the error message I got when I tried to compile Coreutils with > > klee-clang wrapper in KLEE - LLVM 3.4 > > > > make src/make-prime-list > > make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm' > > CCLD src/make-prime-list > > llvm-link: Unknown command line argument '-fno-common'. Try: > > '/usr/lib/llvm-3.4/bin/llvm-link -help' > > llvm-link: Did you mean '-nvj-count'? > > llvm-link: Unknown command line argument '-fdiagnostics-show-option'. Try: > > '/usr/lib/llvm-3.4/bin/llvm-link -help' > > llvm-link: Did you mean '-disable-licm-promotion'? > > llvm-link: Unknown command line argument '-funit-at-a-time'. Try: > > '/usr/lib/llvm-3.4/bin/llvm-link -help' > > llvm-link: Did you mean '-unroll-runtime'? > > make[1]: *** [src/make-prime-list] Error 1 > > make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm' > > make: *** [../src/primes.h] Error 2 > > > > And here is another error message I got with klee-gcc wrapper. This one I > > may understand the reason since llvm-ld does not exist in LLVM-3.4 > > > > make src/make-prime-list > > make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm' > > CCLD src/make-prime-list > > Traceback (most recent call last): > > File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 43, in <module> > > main() > > File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 39, in main > > os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs) > > File "/usr/lib/python2.7/os.py", line 344, in execvp > > _execvpe(file, args) > > File "/usr/lib/python2.7/os.py", line 380, in _execvpe > > func(fullname, *argrest) > > OSError: [Errno 2] No such file or directory > > make[1]: *** [src/make-prime-list] Error 1 > > make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm' > > make: *** [../src/primes.h] Error 2 > > > > Can someone give me some suggestion to fix this compilation issue? > > Many thanks, > > Thuan > > Don't use `klee-gcc`. Just use `wllvm`. There are some "work in > progress" instructions on how to use > it to build core utils at > https://github.com/klee/klee.github.io/pull/58 > <https://github.com/klee/klee.github.io/pull/58> that will be merged > fairly soon. > > _______________________________________________ > klee-dev mailing list > [email protected] <mailto:[email protected]> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > <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
