[klee-dev] Compiling error

[Alberto Barbaro]

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