ppl @1.0_1: build fails after gmp 5.1.2 update

[mndavidoff (Monte Davidoff)]

The ppl @1.0_1 port fails to build. The problem seems to have started after gmp was updated to 5.1.2.

$ sudo port -vs install ppl
...
/bin/sh ../libtool  --tag=CXX   --mode=compile /usr/bin/g++-4.2 -DHAVE_CONFIG_H -I. -I..  -I.. -I../src  -I/opt/local/include  -g -O2 -frounding-math -pipe -Os -arch x86_64 -W -Wall -MT checked.lo -MD -MP -MF .deps/checked.Tpo -c -o checked.lo checked.cc
In file included from checked.defs.hh:30,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from Coefficient.defs.hh:27,
                 from Box.defs.hh:29,
                 from Box.cc:25:
mp_std_bits.defs.hh:47: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
/opt/local/include/gmpxx.h:3271: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
mp_std_bits.defs.hh:108: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
/opt/local/include/gmpxx.h:3308: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
libtool: compile:  /usr/bin/g++-4.2 -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/local/include -g -O2 -frounding-math -pipe -Os -arch x86_64 -W -Wall -MT checked.lo -MD -MP -MF .deps/checked.Tpo -c checked.cc  -fno-common -DPIC -o .libs/checked.o
In file included from checked.defs.hh:30,
                 from checked.cc:25:
mp_std_bits.defs.hh:47: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
/opt/local/include/gmpxx.h:3271: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
mp_std_bits.defs.hh:108: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
/opt/local/include/gmpxx.h:3308: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
make[3]: *** [checked.lo] Error 1
...
make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_ppl/ppl/work/ppl-1.0/src'

[mf2k (Frank Schima)]

Cc'ing larryv, who committed that update in r110522.

[larryv (Lawrence Velázquez)]

This doesn’t look like it has to do with my change. Jeremy did the actual version bump in r110500.

[jeremyhu (Jeremy Huddleston Sequoia)]

gmp claims this is a ppl bug: ​http://gmplib.org/list-archives/gmp-discuss/2012-December/005226.html

gentoo bug: ​https://bugs.gentoo.org/show_bug.cgi?id=447928

[mndavidoff (Monte Davidoff)]

Upstream ppl patch with a fix: ​http://www.cs.unipr.it/pipermail/ppl-devel/2012-December/018574.html

[mndavidoff (Monte Davidoff)]

The fix in r110554 works for me. Thanks!