diff options
Diffstat (limited to 'src/mp_std_bits.cc')
| -rw-r--r-- | src/mp_std_bits.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/mp_std_bits.cc b/src/mp_std_bits.cc index d79dca876..e07714a94 100644 --- a/src/mp_std_bits.cc +++ b/src/mp_std_bits.cc @@ -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>::is_modulo; 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) |