Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 5596eca02f2dea09e57ea22a240c2f3eab8be9e5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2de...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 15 16:03:44 2009 +0200

Accommodate version 4.3.0 of GMP.

Starting from GMP version 4.3.0 (released a few hours after PPL 0.10.1), the gmp_version variable always contains three parts. In previous versions the patchlevel was omitted if it was 0. This change broke our GMP detection procedure.

---

m4/ac_check_gmp.m4 | 7 ++++++- 1 files changed, 6 insertions(+), 1 deletions(-)

diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 541cb36..4dc3bc8 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -60,7 +60,12 @@ main() { { std::ostringstream s(header_version); s << __GNU_MP_VERSION << "." << __GNU_MP_VERSION_MINOR; - if (__GNU_MP_VERSION_PATCHLEVEL != 0) + // Starting from GMP version 4.3.0, the gmp_version variable + // always contains three parts. In previous versions the + // patchlevel was omitted if it was 0. + if (__GNU_MP_VERSION_PATCHLEVEL != 0 + || __GNU_MP_VERSION > 4 + || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR >= 3)) s << "." << __GNU_MP_VERSION_PATCHLEVEL; header_version = s.str(); }