+# 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: mk/config.mk.old mk/project.mk.old compiler/ghc.cabal.old
+ @echo "===--- updating makefiles phase 0"
+ $(MAKE) -r --no-print-directory -f ghc.mk phase=0 just-makefiles
+ifneq "$(OMIT_PHASE_1)" "YES"
+ @echo "===--- updating makefiles phase 1"
+ $(MAKE) -r --no-print-directory -f ghc.mk phase=1 just-makefiles
+endif
+ifneq "$(OMIT_PHASE_2)" "YES"
+ @echo "===--- updating makefiles phase 2"
+ $(MAKE) -r --no-print-directory -f ghc.mk phase=2 just-makefiles
+endif
+ifneq "$(OMIT_PHASE_3)" "YES"
+ @echo "===--- updating makefiles phase 3"
+ $(MAKE) -r --no-print-directory -f ghc.mk phase=3 just-makefiles
+endif
+ @echo "===--- finished updating makefiles"
+ $(MAKE) -r --no-print-directory -f ghc.mk $@
+
+binary-dist:
+ifeq "$(mingw32_TARGET_OS)" "1"
+ $(MAKE) -r --no-print-directory -f ghc.mk windows-binary-dist
+ $(MAKE) -r --no-print-directory -f ghc.mk windows-installer
+else
+ rm -f bindist-list
+ $(MAKE) -r --no-print-directory -f ghc.mk bindist BINDIST=YES
+ $(MAKE) -r --no-print-directory -f ghc.mk binary-dist
+endif
+
+clean distclean maintainer-clean:
+ $(MAKE) -r --no-print-directory -f ghc.mk $@ CLEANING=YES
+ test ! -d testsuite || $(MAKE) -C testsuite $@
+
+$(filter clean_%, $(MAKECMDGOALS)) : clean_% :
+ $(MAKE) -r --no-print-directory -f ghc.mk $@ CLEANING=YES
+
+bootstrapping-files show:
+ $(MAKE) -r --no-print-directory -f ghc.mk $@
+
+ifeq "$(darwin_TARGET_OS)" "1"
+framework-pkg:
+ $(MAKE) -C distrib/MacOS $@
+endif
+
+# If the user says 'make A B', then we don't want to invoke two
+# instances of the rule above in parallel:
+.NOTPARALLEL:
+
+endif