[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 (file)
--- 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@