Hi,
I also 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)
Regards,
~ Salim
..................
..................
llvm[2]: ======= Finished Linking Release Executable gen-random-bout
(without symbols)
make[2]: Leaving directory
`/home/sarimurat/model-checking/model-checking-klee/klee/tools/gen-random-bout'
make[2]: Entering directory
`/home/sarimurat/model-checking/model-checking-klee/klee/tools/klee-stats'
llvm[2]: Copying Release script klee-stats
make[2]: Leaving directory
`/home/sarimurat/model-checking/model-checking-klee/klee/tools/klee-stats'
make[1]: Leaving directory
`/home/sarimurat/model-checking/model-checking-klee/klee/tools'
make[1]: Entering directory
`/home/sarimurat/model-checking/model-checking-klee/klee/runtime'
make[2]: Entering directory
`/home/sarimurat/model-checking/model-checking-klee/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/sarimurat/model-checking/model-checking-klee/llvm-2.6/Release/bin/llvm-as:
/home/sarimurat/model-checking/model-checking-klee/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/sarimurat/model-checking/model-checking-klee/llvm-2.6/Release/bin/opt:
Invalid bitcode signature
make[2]: ***
[/home/sarimurat/model-checking/model-checking-klee/klee/runtime/Intrinsic/Release/klee_div_zero_check.bc]
Error 1
make[2]: Leaving directory
`/home/sarimurat/model-checking/model-checking-klee/klee/runtime/Intrinsic'
make[1]: *** [Intrinsic/.makeall] Error 2
make[1]: Leaving directory
`/home/sarimurat/model-checking/model-checking-klee/klee/runtime'
make: *** [all] Error 1
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100614/5b15eeb4/attachment.html
