diff --git a/mk/config.mk.in b/mk/config.mk.in
index 7a27b9e7ab095f03202790f61a10e4dc21f0008d..11f3688a95ef1bccfaafc5331d57e78f54b5eb27 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