For adding GMP 5 in the future until next PPL release

[William Harrington]

To build latest GMP, PPL needs to be patched. Robert brought this to our attention a couple of months ago.

The latest snapshot has what is required to build PPL with GMP 5. So in the future, this will not be required. Perhaps we will upgrade gmp when the latest PPL snapshot is released. If not, this will get around the problem.

diff -Naur ppl-0.10.2.orig/configure ppl-0.10.2/configure
--- ppl-0.10.2.orig/configure   2009-04-18 05:03:50.000000000 +0000
+++ ppl-0.10.2/configure        2010-02-05 16:41:27.000000000 +0000
@@ -16473,7 +16473,7 @@
       || GMP_LIMB_BITS != mp_bits_per_limb) {
     std::cerr
       << "GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n"
-      << "header gives " << __GMP_BITS_PER_MP_LIMB << ";\n"
+      << "header gives " << GMP_LIMB_BITS << ";\n"
       << "library gives " << mp_bits_per_limb << ".\n"
       << "This probably means you are on a bi-arch system and\n"
       << "you are compiling with the wrong header or linking with\n"
diff -Naur ppl-0.10.2.orig/m4/ac_check_gmp.m4 ppl-0.10.2/m4/ac_check_gmp.m4
--- ppl-0.10.2.orig/m4/ac_check_gmp.m4  2009-04-18 05:03:19.000000000 +0000
+++ ppl-0.10.2/m4/ac_check_gmp.m4       2010-02-05 16:42:08.000000000 +0000
@@ -84,7 +84,7 @@
       || GMP_LIMB_BITS != mp_bits_per_limb) {
     std::cerr
       << "GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n"
-      << "header gives " << __GMP_BITS_PER_MP_LIMB << ";\n"
+      << "header gives " << GMP_LIMB_BITS << ";\n"
       << "library gives " << mp_bits_per_limb << ".\n"
       << "This probably means you are on a bi-arch system and\n"
       << "you are compiling with the wrong header or linking with\n"

[Joe Ciccone]

Had no idea this ticket was here but the upgrade is done and PPL is patched with a sed.