This bug was fixed in the package frama-c - 20170501+phosphorus+dfsg-1ubuntu1
--------------- frama-c (20170501+phosphorus+dfsg-1ubuntu1) artful; urgency=medium
* Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out with -C on i386. LP: #1714514
-- Dimitri John Ledkov <email address hidden> Thu, 31 Aug 2017 23:47:37 +0100
This bug was fixed in the package frama-c - 20170501+ phosphorus+ dfsg-1ubuntu1
--------------- phosphorus+ dfsg-1ubuntu1) artful; urgency=medium
frama-c (20170501+
* Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
with -C on i386. LP: #1714514
-- Dimitri John Ledkov <email address hidden> Thu, 31 Aug 2017 23:47:37 +0100