You shouldn't need to compile llvm-gcc yourself, I don't do this on Linux. Make sure that your LLVM found llvm-gcc when it was configured though, it should be in the configure output.
- Daniel On Fri, Apr 16, 2010 at 9:56 PM, Jun Koi <junkoi2004 at gmail.com> wrote: > 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 >>>> >> > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
