[PPL-devel] [GIT] /home/abagnara/ppl(master): Accommodate version 4.3.0 of GMP.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Apr 15 17:18:17 CEST 2009
Module: /home/abagnara/ppl
Branch: master
Commit: ca32695fdb3245a195f7704260b947abc338e881
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=/home/abagnara/ppl.git;a=commit;h=ca32695fdb3245a195f7704260b947abc338e881
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