No, I have the same problem on Fedora 12 + AMD64. I was compiling the
2.6 compatible release:
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
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
Url :
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100430/1b8fbd1b/attachment.bin
