I have llvm-2.8 configured and built.
When I run make it gets pretty far along and then
lvm[2]: Linking Release+Asserts executable gen-random-bout (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable gen-random-bout
(without symbols)
make[2]: Leaving directory `/opt/src/klee/klee/tools/gen-random-bout'
make[2]: Entering directory `/opt/src/klee/klee/tools/klee-stats'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/opt/src/klee/klee/tools/klee-stats'
make[1]: Leaving directory `/opt/src/klee/klee/tools'
make[1]: Entering directory `/opt/src/klee/klee/runtime'
make[2]: Entering directory `/opt/src/klee/klee/runtime/Intrinsic'
llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for
Release+Asserts build (bytecode)
/opt/kkron/src/klee/llvm-2.8/Release+Asserts/bin/llvm-as:
/opt/src/klee/klee/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.ll:5:17:
error: expected 'global' or 'constant'
@.str = private unnamed_addr constant [22 x i8] c"klee_div_zero_check.c\00",
align 1
^
Followed by lots of
^
llvm[2]: Compiling klee_int.ll to klee_int.bc for Release+Asserts build
(bytecode)
/opt/kkron/src/klee/llvm-2.8/Release+Asserts/bin/llvm-as:
/opt/src/klee/klee/runtime/Intrinsic/Release+Asserts/klee_int.ll:5:42:
error: expected '{' in function body
define i32 @klee_int(i8* %name) nounwind uwtable {
^
pointing at uwtable
Any clues?
Thanks
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
