January 2013 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(polyops): Version number bumped.
by Roberto Bagnara 01 Jan '13

01 Jan '13

Module: ppl/ppl Branch: polyops Commit: decf66d46f09f5c235936294409c4400f599d8bf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=decf66d46f09… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 22 09:51:10 2012 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index bc1b7da..a79495d 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre5], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre6], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(polyops): GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits.
by Roberto Bagnara 01 Jan '13

01 Jan '13

Module: ppl/ppl Branch: polyops Commit: 9f843aecc23981aec6ed1eaa8be06e6786a47f0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f843aecc239… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 19 08:42:19 2012 +0100 GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits. --- src/mp_std_bits.cc | 6 ++++++ src/mp_std_bits_defs.hh | 6 ++++++ 2 files changed, 12 insertions(+), 0 deletions(-) diff --git a/src/mp_std_bits.cc b/src/mp_std_bits.cc index c8da535..918b9af 100644 --- a/src/mp_std_bits.cc +++ b/src/mp_std_bits.cc @@ -25,6 +25,9 @@ site: http://bugseng.com/products/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; @@ -70,3 +73,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) diff --git a/src/mp_std_bits_defs.hh b/src/mp_std_bits_defs.hh index f71595a..0d078ec 100644 --- a/src/mp_std_bits_defs.hh +++ b/src/mp_std_bits_defs.hh @@ -38,6 +38,9 @@ void swap(mpz_class& x, mpz_class& y); #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 @@ public: } // 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)

1 0

[GIT] ppl/ppl(master): Extended copyright years.
by Roberto Bagnara 01 Jan '13

01 Jan '13

1 0