Hi,
I tried to compile klee on Ubuntu 10.4 (with llvm-2.6), and got below errors.
How can I fix that?
(The klee is latest code checked out from svn)
Many thanks,
Jun
.....
.....
llvm[2]: Linking Release executable gen-random-bout (without symbols)
llvm[2]: ======= Finished Linking Release Executable gen-random-bout
(without symbols)
make[2]: Leaving directory `/home/junkoi/projects/klee/tools/gen-random-bout'
make[2]: Entering directory `/home/junkoi/projects/klee/tools/klee-stats'
llvm[2]: Copying Release script klee-stats
make[2]: Leaving directory `/home/junkoi/projects/klee/tools/klee-stats'
make[1]: Leaving directory `/home/junkoi/projects/klee/tools'
make[1]: Entering directory `/home/junkoi/projects/klee/runtime'
make[2]: Entering directory `/home/junkoi/projects/klee/runtime/Intrinsic'
llvm[2]: Compiling klee_div_zero_check.c for Release build (bytecode)
llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc
for Release build (bytecode)
/home/junkoi/Downloads/llvm-2.6/Release/bin/llvm-as:
/home/junkoi/projects/klee/runtime/Intrinsic/Release/klee_div_zero_check.ll:11:25:
error: expected instruction opcode
%0 = icmp eq i64 %z, 0, !dbg !0 ; <i1> [#uses=1]
^
/home/junkoi/Downloads/llvm-2.6/Release/bin/opt: Invalid bitcode signature
make[2]: ***
[/home/junkoi/projects/klee/runtime/Intrinsic/Release/klee_div_zero_check.bc]
Error 1
make[2]: Leaving directory `/home/junkoi/projects/klee/runtime/Intrinsic'
make[1]: *** [Intrinsic/.makeall] Error 2
make[1]: Leaving directory `/home/junkoi/projects/klee/runtime'
make: *** [all] Error 1
