Bug#874273: frama-c: FTBFS on i386

[Ralf Treinen <treinen@free.fr>]

Source: frama-c
Version: 20170501+phosphorus+dfsg-1
Severity: serious

Hi, frama-c FTBFS on i386. The tail of the build log says:

/usr/include/i386-linux-gnu/bits/mathinline.h: In function 'ceill':
/usr/include/i386-linux-gnu/bits/mathinline.h:764:1: error: expected ':' or ')' before string constant
 __inline_mathcodeNP (ceil, __x, \
 ^
Makefile:272: recipe for target 'src/jemalloc.pic.o' failed
make[2]: *** [src/jemalloc.pic.o] Error 1
make[2]: Leaving directory '/<<BUILDDIR>>/frama-c-20170501+phosphorus+dfsg/src/plugins/e-acsl/contrib/libjemalloc'
src/plugins/e-acsl/Makefile:158: recipe for target 'src/plugins/e-acsl/lib/libeacsl-jemalloc.a' failed
make[1]: *** [src/plugins/e-acsl/lib/libeacsl-jemalloc.a] Error 2
make[1]: Leaving directory '/<<BUILDDIR>>/frama-c-20170501+phosphorus+dfsg'
dh_auto_build: make -j1 returned exit code 2
debian/rules:65: recipe for target 'build-arch' failed
make: *** [build-arch] Error 2
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2

See

https://buildd.debian.org/status/fetch.php?pkg=frama-c&arch=i386&ver=20170501%2Bphosphorus%2Bdfsg-1&stamp=1502480362&raw=0

for a complete log.

-Ralf.