|
 |
1765544 |
diff -up ppl-1.0/src/mp_std_bits.cc.orig ppl-1.0/src/mp_std_bits.cc
|
|
|
1765544 |
--- ppl-1.0/src/mp_std_bits.cc.orig 2013-01-30 00:54:04.362716243 -0200
|
|
|
1765544 |
+++ ppl-1.0/src/mp_std_bits.cc 2013-01-30 00:56:18.260721371 -0200
|
|
|
1765544 |
@@ -25,6 +25,9 @@ site: http://bugseng.com/products/ppl/ .
|
|
|
1765544 |
#include "ppl-config.h"
|
|
|
1765544 |
#include "mp_std_bits.defs.hh"
|
|
|
1765544 |
|
|
|
1765544 |
+#if __GNU_MP_VERSION < 5 \
|
|
|
1765544 |
+ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
|
|
|
1765544 |
+
|
|
|
1765544 |
const bool std::numeric_limits<mpz_class>::is_specialized;
|
|
|
1765544 |
const int std::numeric_limits<mpz_class>::digits;
|
|
|
1765544 |
const int std::numeric_limits<mpz_class>::digits10;
|
|
|
1765544 |
@@ -70,3 +73,6 @@ const bool std::numeric_limits
|
|
|
1765544 |
const bool std::numeric_limits<mpq_class>::traps;
|
|
|
1765544 |
const bool std::numeric_limits<mpq_class>::tininess_before;
|
|
|
1765544 |
const std::float_round_style std::numeric_limits<mpq_class>::round_style;
|
|
|
1765544 |
+
|
|
|
1765544 |
+#endif // __GNU_MP_VERSION < 5
|
|
|
1765544 |
+ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
|
|
|
1765544 |
diff -up ppl-1.0/src/mp_std_bits.defs.hh.orig ppl-1.0/src/mp_std_bits.defs.hh
|
|
|
1765544 |
--- ppl-1.0/src/mp_std_bits.defs.hh.orig 2013-01-30 00:54:10.339716472 -0200
|
|
|
1765544 |
+++ ppl-1.0/src/mp_std_bits.defs.hh 2013-01-30 00:55:45.852720130 -0200
|
|
|
1765544 |
@@ -38,6 +38,9 @@ void swap(mpz_class& x, mpz_class& y);
|
|
|
1765544 |
#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
|
|
|
1765544 |
void swap(mpq_class& x, mpq_class& y);
|
|
|
1765544 |
|
|
|
1765544 |
+#if __GNU_MP_VERSION < 5 \
|
|
|
1765544 |
+ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
|
|
|
1765544 |
+
|
|
|
1765544 |
namespace std {
|
|
|
1765544 |
|
|
|
1765544 |
#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
|
|
|
1765544 |
@@ -164,6 +167,9 @@ public:
|
|
|
1765544 |
|
|
|
1765544 |
} // namespace std
|
|
|
1765544 |
|
|
|
1765544 |
+#endif // __GNU_MP_VERSION < 5
|
|
|
1765544 |
+ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
|
|
|
1765544 |
+
|
|
|
1765544 |
#include "mp_std_bits.inlines.hh"
|
|
|
1765544 |
|
|
|
1765544 |
#endif // !defined(PPL_mp_std_bits_defs_hh)
|