blob: d34027d36496b16d6f0a968d9df3666353039736 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
diff --git a/configure.ac b/configure.ac
index ea92c1f97..9621a70e5 100644
--- a/configure.ac
+++ b/configure.ac
@@ -693,8 +693,9 @@ See 'config.log' for details (search for GMP_NUMB_BITS).])],
dnl Check if we can link with GMP
AC_CHECK_LIB(gmp, __gmpz_init, [LIBS="-lgmp $LIBS"],
+ [AC_CHECK_LIB(gmpd, __gmpz_init, [LIBS="-lgmpd $LIBS"],
[AC_MSG_ERROR([libgmp not found or uses a different ABI (including static vs shared).
-Please read the INSTALL file -- see "In case of problem".])])
+Please read the INSTALL file -- see "In case of problem".])])])
dnl Check for corresponding 'gmp.h' and libgmp
AC_MSG_CHECKING(if gmp.h version and libgmp version are the same)
|
