(HAVE_LIBGMP): Add.

diff --git a/src/config.in b/src/config.in
index d462b75425b6b8d8ea6d8a0025f5676ed28357b2..95061a777f17eff3ea79eed52fa76e90d55cb534 100644 (file)
--- 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