From 1cf9954f4b54c6224e4db2ba5f66feaa8da77e95 Mon Sep 17 00:00:00 2001
From: Gerd Moellmann <gerd@gnu.org>
Date: Tue, 16 Oct 2001 10:45:09 +0000
Subject: [PATCH] (HAVE_LIBGMP): Add.

---
 src/config.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/config.in b/src/config.in
index d462b75425b..95061a777f1 100644
--- a/src/config.in
+++ b/src/config.in
@@ -95,6 +95,9 @@ Boston, MA 02111-1307, USA.  */
 /* Define if netdb.h declares h_errno.  */
 #undef HAVE_H_ERRNO
 
+/* Define if we have libgmp.  */
+#undef HAVE_LIBGMP
+
 /* If we're using any sort of window system, define some consequences.  */
 #ifdef HAVE_X_WINDOWS
 #define HAVE_WINDOW_SYSTEM
-- 
2.39.5