X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=11f3688a95ef1bccfaafc5331d57e78f54b5eb27;hb=4a0476ff8d337f35ff4f706d796fb3cb23573e5e;hp=7a27b9e7ab095f03202790f61a10e4dc21f0008d;hpb=81464dc67475d11713f418fb3891be6ff9b265e6;p=ghc-hetmet.git 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@