diff options
author | Ludovic Courtès <ludo@gnu.org> | 2010-03-15 17:54:45 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2010-03-15 17:54:45 +0100 |
commit | db5034ab89426edacf5229e7e6b37cb0495cd287 (patch) | |
tree | bad14d82bb81e0feae3491e387454dec58e977e7 | |
parent | 9823fd399c4addd852409c20e3112e62dca0a937 (diff) | |
download | guile-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.ac | 9 |
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 |