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?
Best, Cristian 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 >>
