Hi, i'm trying to compiling Klee and once i run make ENABLE_OPTIMZED=1 i have the following error:
llvm[2]: ======= Finished Linking Release+Asserts Executable klee-replay (without symbols) make[2]: Leaving directory '/home/alberto/Desktop/progetti/klee/tools/klee-replay' make[1]: Leaving directory '/home/alberto/Desktop/progetti/klee/tools' make[1]: Entering directory '/home/alberto/Desktop/progetti/klee/runtime' make[2]: Entering directory '/home/alberto/Desktop/progetti/klee/runtime/Intrinsic' llvm[2]: Compiling klee_div_zero_check.c for Release+Asserts build (bytecode) llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for Release+Asserts build (bytecode) llvm[2]: Compiling klee_int.c for Release+Asserts build (bytecode) In file included from klee_int.c:10: /usr/include/assert.h:69: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘extern’ /usr/include/assert.h: In function ‘__assert_perror_fail’: /usr/include/assert.h:76: error: expected declaration specifiers before ‘__THROW’ /usr/include/assert.h:82: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘__THROW’ /usr/include/assert.h:85: error: expected declaration specifiers before ‘__END_DECLS’ I can't use docker because I'm a 32bit box. Any idea on how to solve this? Thanks
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
