Hi,
I am You Li, a student in University of California, Davis.
I am trying to use KLEE to do some experiments. So I try the steps in
the http://klee.llvm.org/GetStarted.html to build KLEE and try to use
KLEE with the help in the tutorials pages.
When I followed the tutorials in the webpage
http://klee.llvm.org/TestingCoreutils.html to test coreutils with KLEE,
it works when I use gcov to build coreutils, however, I meet some
problem in Step 2: Buildcoreutilswith LLVM: when I try to make the
source code with the scripts klee-gcc, there is an error as follows:
make all-recursive
make[1]: Entering directory `/home/you/Work/coreutils/obj-llvm'
Making all in lib
make[2]: Entering directory `/home/you/Work/coreutils/obj-llvm/lib'
make all-am
make[3]: Entering directory `/home/you/Work/coreutils/obj-llvm/lib'
make[3]: Leaving directory `/home/you/Work/coreutils/obj-llvm/lib'
make[2]: Leaving directory `/home/you/Work/coreutils/obj-llvm/lib'
Making all in src
make[2]: Entering directory `/home/you/Work/coreutils/obj-llvm/src'
make all-am
make[3]: Entering directory `/home/you/Work/coreutils/obj-llvm/src'
/home/you/Work/klee/scripts/klee-gcc -g -Wl,--as-needed -o uname uname.o
uname-uname.o ../lib/libcoreutils.a ../lib/libcoreutils.a
Traceback (most recent call last):
File "/home/you/Work/klee/scripts/klee-gcc", line 34, in <module>
main()
File "/home/you/Work/klee/scripts/klee-gcc", line 30, 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[3]: *** [uname] Error 1
make[3]: Leaving directory `/home/you/Work/coreutils/obj-llvm/src'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/you/Work/coreutils/obj-llvm/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/you/Work/coreutils/obj-llvm'
make: *** [all] Error 2
Would you please help me figure out how does this error happen ?
Thank you very much.
Best wishes,
You Li
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
