On Fri, Apr 30, 2010 at 5:28 PM, Vladimir G. Ivanovic <vladimir at acm.org> wrote: > No, I have the same problem on Fedora 12 + AMD64. I was compiling the > 2.6 compatible release:
Note that top-of-tree is designed to be compatible with 2.6 and 2.7. There may be bugs, of course. - Daniel > ? ?svn co -r 98465 http://llvm.org/svn/llvm-project/klee/trunk klee > > --- Vladimir > > Vladimir G. Ivanovic ? ? ? ? ? ? ? ? ? ? ? ? ? ?http://www.leonora.org > +1 650 450 4101 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? vladimir at acm.org > > > on 04/26/2010 03:41 AM Jun Koi said the following: >> So nobody has the same problem? >> >> Thanks, >> J >> >> On Fri, Apr 23, 2010 at 12: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 >> > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
