Modify: ppl-1.0/src/mp_std_bits.cc

old 	new 	 
25	25	#include "ppl-config.h" 
26	26	#include "mp_std_bits.defs.hh" 
27	27	 
 	28	#if __GNU_MP_VERSION < 5 \ 
 	29	  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) 
 	30	 
28	31	const bool std::numeric_limits<mpz_class>::is_specialized; 
29	32	const int std::numeric_limits<mpz_class>::digits; 
30	33	const int std::numeric_limits<mpz_class>::digits10; 
… 	… 	 
70	73	const bool std::numeric_limits<mpq_class>::traps; 
71	74	const bool std::numeric_limits<mpq_class>::tininess_before; 
72	75	const std::float_round_style std::numeric_limits<mpq_class>::round_style; 
 	76	 
 	77	#endif // __GNU_MP_VERSION < 5 
 	78	       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) 

Modify: ppl-1.0/src/mp_std_bits.defs.hh

old 	new 	 
38	38	#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) 
39	39	void swap(mpq_class& x, mpq_class& y); 
40	40	 
 	41	#if __GNU_MP_VERSION < 5 \ 
 	42	  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) 
 	43	 
41	44	namespace std { 
42	45	 
43	46	#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS 
… 	… 	 
164	167	 
165	168	} // namespace std 
166	169	 
 	170	#endif // __GNU_MP_VERSION < 5 
 	171	       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) 
 	172	 
167	173	#include "mp_std_bits.inlines.hh" 
168	174	 
169	175	#endif // !defined(PPL_mp_std_bits_defs_hh)