summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorzimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2011-08-30 12:01:37 +0000
committerzimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2011-08-30 12:01:37 +0000
commitb030df38cb3c25a856cbfb68f7670c685c8933be (patch)
tree818b0aba59038f8131a1165d7cd8f26d0cffe966 /configure.ac
parent2abd06dadbe7e488bb0d0489f5f51a6194c42e92 (diff)
downloadmpc-b030df38cb3c25a856cbfb68f7670c685c8933be.tar.gz
[configure.ac] improved last change
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1035 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac9
1 files changed, 6 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac
index bfce1c5..4bc0912 100644
--- a/configure.ac
+++ b/configure.ac
@@ -147,9 +147,11 @@ AC_LINK_IFELSE(
])
# Check for a recent GMP
-# Note: the fat builds are broken in GMP 4.3.2 and GMP 5.0.0
-# (at least on 64-bit Core 2 under Linux)
-# http://gmplib.org/list-archives/gmp-bugs/2011-August/002345.html
+# We only guarantee that with a *functional* and recent enough GMP version,
+# MPC will compile; we do not guarantee that GMP will compile.
+# In particular fat builds are broken in GMP 4.3.2 and GMP 5.0.0
+# (at least on 64-bit Core 2 under Linux),
+# see http://gmplib.org/list-archives/gmp-bugs/2011-August/002345.html.
AC_MSG_CHECKING(for recent GMP)
AC_COMPILE_IFELSE(
[AC_LANG_SOURCE(
@@ -168,6 +170,7 @@ error
# Check for a recent MPFR: we require MPFR 2.4.2 so that the tests
# in log.dat pass
+# The same remark as above for GMP applies.
AC_MSG_CHECKING(for recent MPFR)
AC_COMPILE_IFELSE(
[AC_LANG_SOURCE(