[klee-dev] Compiling error

[Alberto Barbaro]

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
-------------- next part --------------
HTML attachment scrubbed and removed