tools/ppl/patches/001-gmp-conflicts.patch

   1 --- a/src/mp_std_bits.cc
   2 +++ b/src/mp_std_bits.cc
   3 @@ -25,6 +25,9 @@ site: http://bugseng.com/products/ppl/ . */
   4  #include "ppl-config.h"
   5  #include "mp_std_bits_defs.hh"
   6
   7 +#if __GNU_MP_VERSION < 5 \
   8 +  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
   9 +
  10  const bool std::numeric_limits<mpz_class>::is_specialized;
  11  const int std::numeric_limits<mpz_class>::digits;
  12  const int std::numeric_limits<mpz_class>::digits10;
  13 @@ -70,3 +73,6 @@ const bool std::numeric_limits<mpq_class>::is_modulo;
  14  const bool std::numeric_limits<mpq_class>::traps;
  15  const bool std::numeric_limits<mpq_class>::tininess_before;
  16  const std::float_round_style std::numeric_limits<mpq_class>::round_style;
  17 +
  18 +#endif // __GNU_MP_VERSION < 5
  19 +       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
  20 --- a/src/mp_std_bits.defs.hh
  21 +++ b/src/mp_std_bits.defs.hh
  22 @@ -38,6 +38,9 @@
  23  #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
  24  void swap(mpq_class& x, mpq_class& y);
  25
  26 +#if __GNU_MP_VERSION < 5 \
  27 +  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
  28 +
  29  namespace std {
  30
  31  #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
  32 @@ -164,6 +167,9 @@
  33
  34  } // namespace std
  35
  36 +#endif // __GNU_MP_VERSION < 5
  37 +       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
  38 +
  39  #include "mp_std_bits.inlines.hh"
  40
  41  #endif // !defined(PPL_mp_std_bits_defs_hh)