X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=15162b47f3b28b80635b782f4ef8fe862c8c2af5;hb=63b4ba98d8c4f856d520a9abc33accf6dc59f7e4;hp=69c419c47d8ad79a12d0892049e9f5b2b7fa50fd;hpb=47e182d4873add885735b831f3528ee5c208cca9;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 69c419c..15162b4 100644
--- a/Makefile
+++ b/Makefile
@@ -51,10 +51,44 @@ include mk/custom-settings.mk
 # No need to update makefiles for these targets:
 REALGOALS=$(filter-out bootstrapping-files framework-pkg clean clean_% distclean maintainer-clean show help,$(MAKECMDGOALS))
 
+# On Solaris, the builtin test doesn't support -nt, you have to use
+# /usr/bin/test.  On MSYS, however, /usr/bin/test does not exist.  How
+# nice.
+TEST=$(if $(wildcard /usr/bin/test),/usr/bin/test,test)
+
+# configure touches certain files even if they haven't changed.  This
+# can mean a lot of unnecessary recompilation after a re-configure, so
+# here we cache the old versions of these files so we can restore the
+# timestamps.
+#
+define check-configure-file
+# $1 = file
+if $(TEST) ! -f $1.old; then \
+  echo "backing up $1"; \
+  cp $1 $1.old; \
+  touch -r $1 $1.old; \
+else \
+  if $(TEST) $1 -nt $1.old; then \
+    if cmp $1 $1.old; then \
+       echo "$1 has been touched, but has not changed"; \
+       touch -r $1.old $1; \
+    else \
+       echo "$1 has changed"; \
+       cp $1 $1.old; \
+       touch -r $1 $1.old; \
+    fi \
+  fi \
+fi
+endef
+
 # NB. not the same as saying '%: ...', which doesn't do the right thing:
 # it does nothing if we specify a target that already exists.
 .PHONY: $(REALGOALS)
 $(REALGOALS) all:
+	@$(call check-configure-file,mk/config.mk)
+	@$(call check-configure-file,mk/project.mk)
+	@$(call check-configure-file,compiler/ghc.cabal)
+
 	@echo "===--- updating makefiles phase 0"
 	$(MAKE) -r --no-print-directory -f ghc.mk phase=0 just-makefiles
 ifneq "$(OMIT_PHASE_1)" "YES"