[project @ 2002-09-25 10:32:23 by simonmar]

Put the stamp-pkg-conf file in $(GHC_DRIVER_DIR), so that if someone
does 'make clean' in ghc without also cleaning in libraries, we don't
get into an inconsistent state w.r.t. which packages have been
installed.

diff --git a/mk/package.mk b/mk/package.mk
index 320c22a..0d51a8c 100644 (file)
--- a/mk/package.mk
+++ b/mk/package.mk
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: package.mk,v 1.17 2002/07/23 11:23:55 simonmar Exp $
+# $Id: package.mk,v 1.18 2002/09/25 10:32:23 simonmar Exp $
 
 ifneq "$(PACKAGE)" ""
 
@@ -23,7 +23,11 @@ $(PACKAGE).conf.installed : $(PACKAGE).conf.in
 # configuration needs updating if it was updated already in the last
 # second.
 #
-STAMP_PKG_CONF = stamp-pkg-conf
+# The stamp file goes in $(GHC_DRIVER_DIR), so that if someone happens
+# to 'make clean' in ghc without cleaning in libraries too, the packages
+# will be correctly re-installed.
+#
+STAMP_PKG_CONF = $(GHC_DRIVER_DIR)/stamp-pkg-conf-$(PACKAGE)
 CLEAN_FILES += $(STAMP_PKG_CONF)
 
 boot all :: $(STAMP_PKG_CONF)