From: simonm <unknown>
Date: Tue, 17 Mar 1998 15:39:06 +0000 (+0000)
Subject: [project @ 1998-03-17 15:39:06 by simonm]
X-Git-Tag: Approx_2487_patches~851
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=4a0476ff8d337f35ff4f706d796fb3cb23573e5e;p=ghc-hetmet.git

[project @ 1998-03-17 15:39:06 by simonm]
configure HaveLibGmp.
---

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@