From c650f28b4c98dd5b44f23725f3bcc2a37f8cea34 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Mon, 10 Aug 1998 14:19:23 +0000
Subject: [PATCH] [project @ 1998-08-10 14:19:23 by simonm] apparently GMP is
 installed as libgmp2.a on Debian systems.

---
 configure.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index 28e2a3398635..15d0894404d1 100644
--- a/configure.in
+++ b/configure.in
@@ -460,8 +460,11 @@ AC_CHECK_FUNCS(access ftime getclock getpagesize getrusage gettimeofday mktime m
 #
 dnl ** check whether this machine has GMP 2.0 installed
 #
-AC_CHECK_LIB(gmp, mpz_fdiv_qr, HaveLibGmp=YES, HaveLibGmp=NO)
+AC_CHECK_LIB(gmp,  mpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp,
+  AC_CHECK_LIB(gmp2, mpz_fdiv_qr,  HaveLibGmp=YES; LibGmp=gmp2,
+    HaveLibGmp=No; LibGmp=not-installed))
 AC_SUBST(HaveLibGmp)
+AC_SUBST(LibGmp)
 
 #
 dnl ** check whether this machine has BFD and liberty installed (used for debugging)
-- 
GitLab