forked from mirrors/nixpkgs
43 lines
1.4 KiB
Diff
43 lines
1.4 KiB
Diff
|
https://bugs.gentoo.org/show_bug.cgi?id=447928
|
||
|
|
--- ppl-1.0/src/p_std_bits.cc.org 2012-12-30 00:37:03.033948083 +0100
|
||
|
|
+++ ppl-1.0/src/mp_std_bits.cc 2012-12-30 00:44:12.893019313 +0100
|
||
|
|
@@ -25,6 +25,9 @@
|
||
|
|
#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;
|
||
|
|
@@ -70,3 +73,6 @@
|
||
|
|
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)
|
||
|
|
--- ppl-1.0/src/mp_std_bits.defs.hh.org 2012-12-30 00:37:03.037948187 +0100
|
||
|
|
+++ ppl-1.0/src/mp_std_bits.defs.hh 2012-12-30 00:42:32.002424189 +0100
|
||
|
|
@@ -38,6 +38,9 @@
|
||
|
|
#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
|
||
|
|
void swap(mpq_class& x, mpq_class& y);
|
||
|
|
|
||
|
|
+#if __GNU_MP_VERSION < 5 \
|
||
|
|
+ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
|
||
|
|
+
|
||
|
|
namespace std {
|
||
|
|
|
||
|
|
#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
|
||
|
|
@@ -164,6 +167,9 @@
|
||
|
|
|
||
|
|
} // namespace std
|
||
|
|
|
||
|
|
+#endif // __GNU_MP_VERSION < 5
|
||
|
|
+ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
|
||
|
|
+
|
||
|
|
#include "mp_std_bits.inlines.hh"
|
||
|
|
|
||
|
|
#endif // !defined(PPL_mp_std_bits_defs_hh)
|