Currently using llvm-2.7 to build this, but I got an error like this:
please help me~
---
llvm[2]: Copying Release script klee-stats
make[2]: Leaving directory `/home/shim/pkgs/klee/klee/tools/klee-stats'
make[1]: Leaving directory `/home/shim/pkgs/klee/klee/tools'
make[1]: Entering directory `/home/shim/pkgs/klee/klee/runtime'
make[2]: Entering directory `/home/shim/pkgs/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/shim/pkgs/llvm/llvm-2.7/Release/bin/opt:
/home/shim/pkgs/klee/klee/runtime/Intrinsic/Release/klee_div_zero_check.ll:1:2:
error: expected top-level entity
.file "klee_div_zero_check.c"
^
make[2]: ***
[/home/shim/pkgs/klee/klee/runtime/Intrinsic/Release/klee_div_zero_check.bc]
Error 1
make[2]: Leaving directory `/home/shim/pkgs/klee/klee/runtime/Intrinsic'
make[1]: *** [Intrinsic/.makeall] Error 2
make[1]: Leaving directory `/home/shim/pkgs/klee/klee/runtime'
make: *** [all] Error 1
---
Thanks in advance.
