You probably need to add llvm/Release/bin to your PATH so that it can locate llvm-ld. -David
Sent from my iPhone On Feb 21, 2012, at 5:07 PM, You Li <[email protected]> wrote: > 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: Build coreutils with 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
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
