diff options
-rw-r--r-- | configure.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 426e9693c..42c730e78 100644 --- a/configure.in +++ b/configure.in @@ -326,7 +326,9 @@ AC_RUN_IFELSE([AC_LANG_PROGRAM([[ return (strcmp (buffer, gmp_version) != 0) ? 1 : 0; ]])], [AC_MSG_RESULT(yes)], [AC_MSG_RESULT(no) - AC_MSG_WARN(['gmp.h' and 'libgmp' seems to have different versions.]) + AC_MSG_WARN(['gmp.h' and 'libgmp' seems to have different versions or]) + AC_MSG_WARN([we cannot run a program linked with GMP (if you cannot]) + AC_MSG_WARN([see the version numbers above).]) AC_MSG_WARN([However since we can't use 'libtool' inside the configure,]) AC_MSG_WARN([we can't be sure. See 'config.log' for details.]) ],AC_MSG_RESULT([can not test]) |