bernhard@3253: From 9f843aecc23981aec6ed1eaa8be06e6786a47f0d Mon Sep 17 00:00:00 2001
bernhard@3253: From: Roberto Bagnara <bagnara@cs.unipr.it>
bernhard@3253: Date: Wed, 19 Dec 2012 08:42:19 +0100
bernhard@3253: Subject: [PATCH] GMP version 5.1.0 (and, presumably, later versions) defines
bernhard@3253:  std::numeric_limits.
bernhard@3253: 
bernhard@3253: ---
bernhard@3253:  src/mp_std_bits.cc      |    6 ++++++
bernhard@3253:  src/mp_std_bits.defs.hh |    6 ++++++
bernhard@3253:  2 files changed, 12 insertions(+)
bernhard@3253: 
bernhard@3253: --- a/src/mp_std_bits.cc
bernhard@3253: +++ b/src/mp_std_bits.cc
bernhard@3253: @@ -26,6 +26,9 @@ site: http://www.cs.unipr.it/ppl/ . */
bernhard@3253:  #include <ppl-config.h>
bernhard@3253:  #include "mp_std_bits.defs.hh"
bernhard@3253:  
bernhard@3253: +#if __GNU_MP_VERSION < 5 \
bernhard@3253: +  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
bernhard@3253: +
bernhard@3253:  const bool std::numeric_limits<mpz_class>::is_specialized;
bernhard@3253:  const int std::numeric_limits<mpz_class>::digits;
bernhard@3253:  const int std::numeric_limits<mpz_class>::digits10;
bernhard@3253: @@ -71,3 +74,6 @@ const bool std::numeric_limits<mpq_class
bernhard@3253:  const bool std::numeric_limits<mpq_class>::traps;
bernhard@3253:  const bool std::numeric_limits<mpq_class>::tininess_before;
bernhard@3253:  const std::float_round_style std::numeric_limits<mpq_class>::round_style;
bernhard@3253: +
bernhard@3253: +#endif // __GNU_MP_VERSION < 5
bernhard@3253: +       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
bernhard@3253: --- a/src/mp_std_bits.defs.hh
bernhard@3253: +++ b/src/mp_std_bits.defs.hh
bernhard@3253: @@ -39,6 +39,9 @@ void swap(mpz_class& x, mpz_class& y);
bernhard@3253:  #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
bernhard@3253:  void swap(mpq_class& x, mpq_class& y);
bernhard@3253:  
bernhard@3253: +#if __GNU_MP_VERSION < 5 \
bernhard@3253: +  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
bernhard@3253: +
bernhard@3253:  namespace std {
bernhard@3253:  
bernhard@3253:  #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
bernhard@3253: @@ -165,6 +168,9 @@ public:
bernhard@3253:  
bernhard@3253:  } // namespace std
bernhard@3253:  
bernhard@3253: +#endif // __GNU_MP_VERSION < 5
bernhard@3253: +       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
bernhard@3253: +
bernhard@3253:  #include "mp_std_bits.inlines.hh"
bernhard@3253:  
bernhard@3253:  #endif // !defined(PPL_mp_std_bits_defs_hh)