[PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Accommodate version 4.3.0 of GMP.

[Roberto Bagnara]

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=5596eca02f2dea09e57ea22a240c2f3eab8be9e5

Author: Roberto Bagnara <bagnara at 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();
   }