1 files changed, 21 insertions, 0 deletions
diff --git a/devel/ppl/files/patch-configure b/devel/ppl/files/patch-configure
new file mode 100644
index 000000000000..6802f484f464
--- /dev/null
+++ b/devel/ppl/files/patch-configure
@@ -0,0 +1,21 @@
+--- configure.orig	2010-04-13 10:19:13.000000000 +0200
++++ configure	2010-04-13 10:19:48.000000000 +0200
+@@ -16469,18 +16469,6 @@
+     return 1;
+   }
+ 
+-  if (sizeof(mp_limb_t)*CHAR_BIT != GMP_LIMB_BITS
+-      || 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"
+-      << "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"
+-      << "the wrong library." << std::endl;
+-    return 1;
+-  }
+-
+   mpz_class n("3141592653589793238462643383279502884");
+   return 0;
+ }