1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/patches/ppl/0.11.2/400-fix-build-with-gmp-5.1.patch Sun Dec 08 12:53:14 2013 +0100
1.3 @@ -0,0 +1,52 @@
1.4 +From 9f843aecc23981aec6ed1eaa8be06e6786a47f0d Mon Sep 17 00:00:00 2001
1.5 +From: Roberto Bagnara <bagnara@cs.unipr.it>
1.6 +Date: Wed, 19 Dec 2012 08:42:19 +0100
1.7 +Subject: [PATCH] GMP version 5.1.0 (and, presumably, later versions) defines
1.8 + std::numeric_limits.
1.9 +
1.10 +---
1.11 + src/mp_std_bits.cc | 6 ++++++
1.12 + src/mp_std_bits.defs.hh | 6 ++++++
1.13 + 2 files changed, 12 insertions(+)
1.14 +
1.15 +--- a/src/mp_std_bits.cc
1.16 ++++ b/src/mp_std_bits.cc
1.17 +@@ -26,6 +26,9 @@ site: http://www.cs.unipr.it/ppl/ . */
1.18 + #include <ppl-config.h>
1.19 + #include "mp_std_bits.defs.hh"
1.20 +
1.21 ++#if __GNU_MP_VERSION < 5 \
1.22 ++ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
1.23 ++
1.24 + const bool std::numeric_limits<mpz_class>::is_specialized;
1.25 + const int std::numeric_limits<mpz_class>::digits;
1.26 + const int std::numeric_limits<mpz_class>::digits10;
1.27 +@@ -71,3 +74,6 @@ const bool std::numeric_limits<mpq_class
1.28 + const bool std::numeric_limits<mpq_class>::traps;
1.29 + const bool std::numeric_limits<mpq_class>::tininess_before;
1.30 + const std::float_round_style std::numeric_limits<mpq_class>::round_style;
1.31 ++
1.32 ++#endif // __GNU_MP_VERSION < 5
1.33 ++ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
1.34 +--- a/src/mp_std_bits.defs.hh
1.35 ++++ b/src/mp_std_bits.defs.hh
1.36 +@@ -39,6 +39,9 @@ void swap(mpz_class& x, mpz_class& y);
1.37 + #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
1.38 + void swap(mpq_class& x, mpq_class& y);
1.39 +
1.40 ++#if __GNU_MP_VERSION < 5 \
1.41 ++ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
1.42 ++
1.43 + namespace std {
1.44 +
1.45 + #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
1.46 +@@ -165,6 +168,9 @@ public:
1.47 +
1.48 + } // namespace std
1.49 +
1.50 ++#endif // __GNU_MP_VERSION < 5
1.51 ++ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
1.52 ++
1.53 + #include "mp_std_bits.inlines.hh"
1.54 +
1.55 + #endif // !defined(PPL_mp_std_bits_defs_hh)