From 31c886b43c1cb09b70971f64b9e0ca192117e9db Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 2 Nov 2000 13:36:44 +0000
Subject: [PATCH] [project @ 2000-11-02 13:36:44 by simonmar] Remove
 GhcWithRegisterised since it isn't used.  It might be re-instated later
 if/when we decide on the right way to implement it.

---
 ghc/compiler/Makefile | 3 +--
 mk/config.mk.in       | 4 ----
 2 files changed, 1 insertion(+), 6 deletions(-)

diff --git a/ghc/compiler/Makefile b/ghc/compiler/Makefile
index 896a431e3522..fd48e284bba7 100644
--- a/ghc/compiler/Makefile
+++ b/ghc/compiler/Makefile
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.104 2000/10/31 08:08:38 simonpj Exp $
+# $Id: Makefile,v 1.105 2000/11/02 13:36:44 simonmar Exp $
 
 TOP = ..
 include $(TOP)/mk/boilerplate.mk
@@ -61,7 +61,6 @@ $(CONFIG_HS) : $(FPTOOLS_TOP)/mk/config.mk Makefile
 	@echo "cRM                   = \"$(RM)\"" >> $(CONFIG_HS)
 	@echo "cCONTEXT_DIFF         = \"$(CONTEXT_DIFF)\"" >> $(CONFIG_HS)
 	@echo "cHaveLibGmp           = \"$(HaveLibGmp)\"" >> $(CONFIG_HS)
-	@echo "cGhcWithRegisterised  = \"$(GhcWithRegisterised)\"" >> $(CONFIG_HS)
 	@echo "cUSER_WAY_NAMES       = \"$(USER_WAY_NAMES)\"" >> $(CONFIG_HS)
 	@echo "cUSER_WAY_OPTS        = \"$(USER_WAY_OPTS)\"" >> $(CONFIG_HS)
 	@echo "clibdir               = \"$(libdir)\"" >> $(CONFIG_HS)
diff --git a/mk/config.mk.in b/mk/config.mk.in
index f709fcf9f37d..5d78e07a2101 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -178,10 +178,6 @@ GhcHcOpts=-O
 # GhcWithHscBuiltViaC - build GHC compiler proper (\`hsc') from .hc files?
 GhcWithHscBuiltViaC=@BootingFromHc@
 
-# Build a registerised version of hsc and runtime
-# (unregisterised used for Hugs at the moment)
-GhcWithRegisterised=YES
-
 # Build a compiler with a native code generator backend
 # (as well as a C backend)
 #
-- 
GitLab