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"
7 +#if __GNU_MP_VERSION < 5 \
8 + || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
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;
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
23 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
24 void swap(mpq_class& x, mpq_class& y);
26 +#if __GNU_MP_VERSION < 5 \
27 + || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
31 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
36 +#endif // __GNU_MP_VERSION < 5
37 + // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
39 #include "mp_std_bits.inlines.hh"
41 #endif // !defined(PPL_mp_std_bits_defs_hh)