[PPL-devel] [GIT] ppl/ppl(master): Accommodate version 4.3.0 of GMP.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Apr 15 17:24:23 CEST 2009
Module: ppl/ppl
Branch: master
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();
}
More information about the PPL-devel
mailing list