>From ca10011898e2ceeded4027413a1488837199ad7a Mon Sep 17 00:00:00 2001
From: Paul Eggert <address@hidden>
Date: Sun, 12 Aug 2018 17:14:43 -0700
Subject: [PATCH] * configure.ac (GMP_LIB): Set to -lgmp if --without-mini-gmp.

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index c40b3bd290..0b8849eea2 100644
--- a/configure.ac
+++ b/configure.ac
@@ -4312,7 +4312,7 @@ AC_DEFUN
 HAVE_GMP=no
 case $with_mini_gmp in
   yes) ;;
-  no) HAVE_GMP=yes;;
+  no) HAVE_GMP=yes GMP_LIB=-lgmp;;
   *) AC_CHECK_HEADERS([gmp.h],
        [OLIBS=$LIBS
 	AC_SEARCH_LIBS([__gmpz_roinit_n], [gmp])
-- 
2.17.1