101-gmp-build-fix.patch

diff -up ppl-0.11.2/src/mp_std_bits.cc.gmpfix ppl-0.11.2/src/mp_std_bits.cc
--- ppl-0.11.2/src/mp_std_bits.cc.gmpfix	2013-09-29 21:26:47.169717405 -0400
+++ ppl-0.11.2/src/mp_std_bits.cc	2013-09-29 21:27:20.452717904 -0400
@@ -26,6 +26,9 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include <ppl-config.h>
 #include "mp_std_bits.defs.hh"
 
+#if __GNU_MP_VERSION < 5 \
+  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
+
 const bool std::numeric_limits<mpz_class>::is_specialized;
 const int std::numeric_limits<mpz_class>::digits;
 const int std::numeric_limits<mpz_class>::digits10;
@@ -71,3 +74,6 @@ const bool std::numeric_limits<mpq_class
 const bool std::numeric_limits<mpq_class>::traps;
 const bool std::numeric_limits<mpq_class>::tininess_before;
 const std::float_round_style std::numeric_limits<mpq_class>::round_style;
+
+#endif // __GNU_MP_VERSION < 5
+       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
diff -up ppl-0.11.2/src/mp_std_bits.defs.hh.gmpfix ppl-0.11.2/src/mp_std_bits.defs.hh
--- ppl-0.11.2/src/mp_std_bits.defs.hh.gmpfix	2013-09-29 21:27:35.923718137 -0400
+++ ppl-0.11.2/src/mp_std_bits.defs.hh	2013-09-29 21:28:33.713719004 -0400
@@ -39,6 +39,9 @@ void swap(mpz_class& x, mpz_class& y);
 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
 void swap(mpq_class& x, mpq_class& y);
 
+#if __GNU_MP_VERSION < 5 \
+  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
+
 namespace std {
 
 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
@@ -165,6 +168,9 @@ public:
 
 } // namespace std
 
+#endif // __GNU_MP_VERSION < 5
+       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
+
 #include "mp_std_bits.inlines.hh"
 
 #endif // !defined(PPL_mp_std_bits_defs_hh)