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=ca... 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(); }