summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2010-03-15 17:54:45 +0100
committerLudovic Courtès <ludo@gnu.org>2010-03-15 17:54:45 +0100
commitdb5034ab89426edacf5229e7e6b37cb0495cd287 (patch)
treebad14d82bb81e0feae3491e387454dec58e977e7
parent9823fd399c4addd852409c20e3112e62dca0a937 (diff)
downloadguile-db5034ab89426edacf5229e7e6b37cb0495cd287.tar.gz
configure: Abort when GMP is not found.
* configure.ac: Fix erroneous `AC_LIB_HAVE_LINKFLAGS' invocation. Above when $HAVE_LIBGMP is not "yes".
-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