From 4a0476ff8d337f35ff4f706d796fb3cb23573e5e Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Tue, 17 Mar 1998 15:39:06 +0000
Subject: [PATCH] [project @ 1998-03-17 15:39:06 by simonm] configure
 HaveLibGmp.

---
 mk/config.mk.in |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 7a27b9e..11f3688 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -328,7 +328,6 @@ HappyBinDistShScripts = happy
 #
 #################################################################################
 
-
 #################################################################################
 #
 #		nofib project
@@ -536,6 +535,11 @@ endif
 endif
 
 #-----------------------------------------------------------------------------
+# GMP Library
+#
+HaveLibGmp	= @HaveLibGmp@
+
+#-----------------------------------------------------------------------------
 # Flex
 
 FLEX			= @LEX@
-- 
1.7.10.4