On Sat, Apr 17, 2010 at 8:39 AM, Cristian Cadar <c.cadar at imperial.ac.uk> wrote: > Sorry for the misunderstanding. ?I just wanted to make sure that you used > the --with-llvm option. ?But since you compiled KLEE successfully, you are > facing a different problem. ?Looking at your 'make check' output closer, I > see llvm-gcc does not seem to be in your PATH. ?Maybe you forgot this step > in the instructions?
Actually I didnt compile llvm-gcc, but to install it from Ubuntu package. Is that not the right thing to do? So it seems I must compile llvm-gcc myself? What is the difference with just use the package from Ubuntu? Thanks, J > On 4/16/10 11:10 PM, Jun Koi wrote: >> >> On Sat, Apr 17, 2010 at 12:55 AM, Cristian Cadar<c.cadar at imperial.ac.uk> >> ?wrote: >>> >>> Hi Jun, >>> >>> As far as I can tell, there's a configuration problem there. ?You should >>> make sure that you passed the "--with-llvm" option to KLEE's configure >>> script. >>> >> >> Hmm the instruction at homepage told me to point --with-llvm >> (./configure --with-llvm=../llvm-2.6) to the directory of the source >> code of llvm-2.6, and that is what I did. So it seems I misunderstood? >> >> Now it seems the correct way is to point --with-llvm to "KLEE >> configure script"? What do you really mean here?? >> >> Thanks, >> J >> >> >>> On 16/04/10 16:17, Jun Koi wrote: >>>> >>>> Hi, >>>> >>>> I am starting to play with Klee. I followed the instruction on the >>>> homepage to compile llvm-2.6 and klee. But "make check" reports a lot >>>> of error, like below. >>>> >>>> Could anybody please tell me what the problem is? >>>> >>>> Thanks, >>>> J >>>> >>>> $make check >>>> llvm[0]: Running test suite >>>> make[1]: Entering directory `/home/junkoi/projects/tmp/klee/test' >>>> ( ulimit -t 600 ; ulimit -d 512000 ; \ >>>> >>>> >>>> ?PATH="/home/junkoi/projects/tmp/klee/Release/bin:/home/junkoi/projects/tmp/llvm-2.6/Release/bin:/home/junkoi/projects/tmp/llvm-2.6/test/Scripts:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/opt/real/RealPlayer" >>>> \ >>>> ? ? ? ? ?/usr/bin/runtest ?; ?\ >>>> ? ? ? ? ?! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ?) >>>> /bin:/usr/games:/opt/real/RealPlayer" \ >>>> ? ? ? ? ? /usr/bin/runtest ?; ?\ >>>> ? ? ? ? ? ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ?) >>>> WARNING: No tool specified >>>> WARNING: Couldn't find tool config file for unix, using default. >>>> Test Run By junkoi on Sat Apr 17 00:10:14 2010 >>>> Native configuration is i686-pc-linux-gnu >>>> >>>> ? ? ? ? ? ? ? ? === ?tests === >>>> >>>> Schedule of variations: >>>> ? ? unix >>>> >>>> Running target unix >>>> Using /usr/share/dejagnu/baseboards/unix.exp as board description file >>>> for target. >>>> Using /usr/share/dejagnu/config/unix.exp as generic interface file for >>>> target. >>>> WARNING: Couldn't find tool config file for unix, using default. >>>> Running /home/junkoi/projects/tmp/klee/test/CXX/dg.exp ... >>>> FAIL: /home/junkoi/projects/tmp/klee/test/CXX/ArrayNew.cpp >>>> Failed with posix(ENOENT,no such file or directory) at line 1 >>>> while running: ?-I/home/junkoi/projects/tmp/klee/include -emit-llvm >>>> /home/junkoi/projects/tmp/klee/test/CXX/ArrayNew.cpp -emit-llvm -O0 -c >>>> -o ArrayNew.cpp.tmp1.bc >>>> couldn't execute "-I/home/junkoi/projects/tmp/klee/include": no such >>>> file or directory >>>> FAIL: /home/junkoi/projects/tmp/klee/test/CXX/New.cpp >>>> Failed with posix(ENOENT,no such file or directory) at line 1 >>>> while running: ?-I/home/junkoi/projects/tmp/klee/include -emit-llvm >>>> /home/junkoi/projects/tmp/klee/test/CXX/New.cpp -emit-llvm -O0 -c -o >>>> New.cpp.tmp1.bc >>>> couldn't execute "-I/home/junkoi/projects/tmp/klee/include": no such >>>> file or directory >>>> FAIL: /home/junkoi/projects/tmp/klee/test/CXX/SimpleVirtual.cpp >>>> Failed with posix(ENOENT,no such file or directory) at line 1 >>>> while running: ?-I/home/junkoi/projects/tmp/klee/include -emit-llvm >>>> /home/junkoi/projects/tmp/klee/test/CXX/SimpleVirtual.cpp -emit-llvm >>>> -O0 -c -o SimpleVirtual.cpp.tmp1.bc >>>> couldn't execute "-I/home/junkoi/projects/tmp/klee/include": no such >>>> file or directory >>>> ..... >>>> _______________________________________________ >>>> klee-dev mailing list >>>> klee-dev at keeda.stanford.edu >>>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >>> >
