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.
# -----------------------------------------------------------------------------
# -----------------------------------------------------------------------------
-# $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 $
# configuration needs updating if it was updated already in the last
# second.
#
# 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)
CLEAN_FILES += $(STAMP_PKG_CONF)
boot all :: $(STAMP_PKG_CONF)