X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FMakefile;h=2f618ba645d0ab118aa74c47612eb4ee1b8ef870;hb=98744cef7b82e7eefbb1c6f1d8b9e28c415939c4;hp=c91154f10d071fb6e690be396bf1090f964a42b8;hpb=8abedd122bf6f96ce8151dc86dd2c7727b639de5;p=ghc-hetmet.git

diff --git a/ghc/compiler/Makefile b/ghc/compiler/Makefile
index c91154f..2f618ba 100644
--- a/ghc/compiler/Makefile
+++ b/ghc/compiler/Makefile
@@ -216,7 +216,6 @@ ifeq ($(GhcWithIlx),YES)
 endif
 	@echo "cEnableWin32DLLs      = \"$(EnableWin32DLLs)\"" >> $(CONFIG_HS)
 	@echo "cCONTEXT_DIFF         = \"$(CONTEXT_DIFF)\"" >> $(CONFIG_HS)
-	@echo "cHaveLibGmp           = \"$(HaveLibGmp)\"" >> $(CONFIG_HS)
 	@echo "cUSER_WAY_NAMES       = \"$(USER_WAY_NAMES)\"" >> $(CONFIG_HS)
 	@echo "cUSER_WAY_OPTS        = \"$(USER_WAY_OPTS)\"" >> $(CONFIG_HS)
 	@echo "cDEFAULT_TMPDIR       = \"$(DEFAULT_TMPDIR)\"" >> $(CONFIG_HS)