Hi, OK i found the solution after a break: https://keeda.stanford.edu/pipermail/klee-dev/2012-January/000794.html
HTH, Alberto 2015-11-07 7:49 GMT+00:00 Alberto Barbaro <barbaro.albe...@gmail.com>: > 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 klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
