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
.....
