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.