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 7a27b9e7ab09..11f3688a95ef 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -328,7 +328,6 @@ HappyBinDistShScripts = happy
 #
 #################################################################################
 
-
 #################################################################################
 #
 #		nofib project
@@ -535,6 +534,11 @@ else
 endif
 endif
 
+#-----------------------------------------------------------------------------
+# GMP Library
+#
+HaveLibGmp	= @HaveLibGmp@
+
 #-----------------------------------------------------------------------------
 # Flex
 
-- 
GitLab