summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--configure.ac9
1 files changed, 6 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac
index 909d6d3c7..9203cb405 100644
--- a/configure.ac
+++ b/configure.ac
@@ -868,11 +868,14 @@ fi
dnl GMP tests
-AC_LIB_HAVE_LINKFLAGS(gmp,
+AC_LIB_HAVE_LINKFLAGS([gmp],
[],
[#include <gmp.h>],
- [mpz_import (0, 0, 0, 0, 0, 0, 0);],
- AC_MSG_ERROR([GNU MP 4.1 or greater not found, see README]))
+ [mpz_import (0, 0, 0, 0, 0, 0, 0);])
+
+if test "x$HAVE_LIBGMP" != "xyes"; then
+ AC_MSG_ERROR([GNU MP 4.1 or greater not found, see README])
+fi
dnl GNU libunistring is checked for by Gnulib's `libunistring' module.
if test "x$LTLIBUNISTRING" != "x"; then