Hi Jun, Are you sure that you are using an llvm-gcc from the 2.6 release?
- Daniel On Thu, Apr 22, 2010 at 8:06 AM, Jun Koi <junkoi2004 at gmail.com> wrote: > 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 > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
