diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2009-01-15 02:21:57 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2009-01-15 02:21:57 +0000 |
commit | 7d584a107228802ff4d44222ffa04c2d17451015 (patch) | |
tree | 162666c93212dea42489a0d917bc16e3c2dcaa9c /configure.in | |
parent | c7c47028a81cd3382aeab0c45a98911e04777697 (diff) | |
download | mpfr-7d584a107228802ff4d44222ffa04c2d17451015.tar.gz |
configure.in: be more tolerant when checking whether gmp.h version
and libgmp version are the same (in case patch level is 0).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@5816 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/configure.in b/configure.in index 2ac4c92f6..6a907441f 100644 --- a/configure.in +++ b/configure.in @@ -441,12 +441,14 @@ AC_RUN_IFELSE([AC_LANG_PROGRAM([[ #include "gmp.h" ]], [[ char buffer[100]; - if (__GNU_MP_VERSION_PATCHLEVEL != 0) - sprintf (buffer, "%d.%d.%d", __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, - __GNU_MP_VERSION_PATCHLEVEL); - else - sprintf (buffer, "%d.%d", __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR); + sprintf (buffer, "%d.%d.%d", __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, + __GNU_MP_VERSION_PATCHLEVEL); printf ("(%s/%s) ", buffer, gmp_version); + if (strcmp (buffer, gmp_version) == 0) + return 0; + if (__GNU_MP_VERSION_PATCHLEVEL != 0) + return 1; + sprintf (buffer, "%d.%d", __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR); return (strcmp (buffer, gmp_version) != 0) ? 1 : 0; ]])], [AC_MSG_RESULT(yes) |