diff options
| -rw-r--r-- | mk/config.mk.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 7a27b9e7ab..11f3688a95 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@ |