on linux 64 (debian stable amd 64 triple core)
i wanted to compile ulibc
did configure
make steps
make step complained llvm-ar not found
fixed by changing one line in file [ Rules.mak.llvm ]
from
LLVMTOOLDIR=$(LLVMROOTDIR)/Release/bin
to this
LLVMTOOLDIR=$(LLVMROOTDIR)/Release+Asserts/bin
klee went on to pass check and unittests
=== Summary ===
# of expected passes 109
# of unexpected successes 1
# of expected failures 2
XFAIL: /home/terry/llvm-klee/klee/test/Expr/Evaluate2.pc
XFAIL: /home/terry/llvm-klee/klee/test/Programs/pcregrep.c
make[1]: Leaving directory `/home/terry/llvm-klee/klee/test'
terry@localhost:~/llvm-klee/klee$ make unittests
llvm[0]: Running unittests test suite
make[1]: Entering directory `/home/terry/llvm-klee/klee/unittests'
make[2]: Entering directory `/home/terry/llvm-klee/klee/unittests/Expr'
llvm[2]: Compiling ExprTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test Expr (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test Expr
(without symbols)
Release+Asserts/ExprTests
[==========] Running 3 tests from 1 test case.
[----------] Global test environment set-up.
[----------] 3 tests from ExprTest
[ RUN ] ExprTest.BasicConstruction
[ OK ] ExprTest.BasicConstruction (0 ms)
[ RUN ] ExprTest.ConcatExtract
[ OK ] ExprTest.ConcatExtract (0 ms)
[ RUN ] ExprTest.ExtractConcat
[ OK ] ExprTest.ExtractConcat (0 ms)
[----------] 3 tests from ExprTest (0 ms total)
[----------] Global test environment tear-down
[==========] 3 tests from 1 test case ran. (1 ms total)
[ PASSED ] 3 tests.
make[2]: Leaving directory `/home/terry/llvm-klee/klee/unittests/Expr'
make[2]: Entering directory `/home/terry/llvm-klee/klee/unittests/Solver'
llvm[2]: Compiling SolverTest.cpp for Release+Asserts build
llvm[2]: Linking Release+Asserts unit test Solver (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Unit test Solver
(without symbols)
Release+Asserts/SolverTests
[==========] Running 1 test from 1 test case.
[----------] Global test environment set-up.
[----------] 1 test from SolverTest
[ RUN ] SolverTest.Evaluation
[ OK ] SolverTest.Evaluation (12193 ms)
[----------] 1 test from SolverTest (12193 ms total)
[----------] Global test environment tear-down
[==========] 1 test from 1 test case ran. (12193 ms total)
[ PASSED ] 1 test.
make[2]: Leaving directory `/home/terry/llvm-klee/klee/unittests/Solver'
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
