X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=f40e3ee5c47be7d1508fa583fca1bc1f35f20b5b;hb=34cc75e1a62638f2833815746ebce0a9114dc26b;hp=204d5ecc80793697eab6e3080a2345edb25ed6ce;hpb=2494407a750053daa61718fac371487d04818e57;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 204d5ec..726801d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,67 +1,143 @@
-#################################################################################
-#
-#			fptools/Makefile
-#
-#		This is the main Makefile for fptools.
-#
-#################################################################################
 
-TOP=.
-include $(TOP)/mk/boilerplate.mk
-SRC_DIST_DIR=$(shell pwd)/$(SRC_DIST_NAME)
+ifeq "$(wildcard distrib/)" ""
 
-SUBDIRS = $(ProjectsToBuild)
+# We're in a bindist
 
-#
-# Files to include in fptools source distribution
-#
-SRC_DIST_DIRS += mk $(ProjectsToBuild)
-SRC_DIST_FILES += configure.in config.guess config.sub configure README ANNOUNCE NEWS INSTALL Makefile
+.PHONY: default
+default:
+	@echo 'Run "make install" to install'
+	@false
 
+.PHONY: install
+install:
+	$(MAKE) -r --no-print-directory -f ghc.mk install BINDIST=YES NO_INCLUDE_DEPS=YES
 
+.PHONY: show
+show:
+	$(MAKE) -r --no-print-directory -f ghc.mk $@
+
+else
+
+# The problem we need to solve is as follows.  
 #
-# Making a binary distribution
+# GNU make supports included Makefiles, and it is clever enough to try
+# to update those Makefiles when they are out-of-date or missing.  It
+# first reads all the Makefiles, and then tries to build each one if
+# it is out-of-date, using the rules in the Makefiles themselves.
+# When it has brought all the Makefiles up-to-date, it restarts itself
+# to read the newly-generated Makefiles.
 #
-BIN_DIST_TMPDIR=$(shell pwd)
-BIN_DIST_NAME=fptools
+# This works fine, unless there are dependencies *between* the
+# Makefiles.  For example in the GHC build, for each package we have a
+# package-data.mk file which is generated by the ghc-cabal program,
+# and we have a .depend file.  The .depend file cannot be generated
+# until package-data.mk has been generated and make has been restarted
+# to read in its contents, because it is the package-data.mk file that
+# tells us which modules are in the package.  But make always makes
+# all the Makefiles before restarting - it doesn't take into account a
+# dependency between Makefiles and restart itself earlier.
+
+# Consider the following makefile:
 
+# --------------------
+# all :
 #
-# list of toplevel `projects' to include in binary distrib.
+# include inc1.mk
+# 
+# inc1.mk : Makefile
+# 	echo "X = C" >$@
+# 
+# include inc2.mk
+# 
+# inc2.mk : inc1.mk
+# 	echo "Y = $(X)" >$@
+# --------------------
+
+# Now try it:
+# 
+# $ make -f fail.mk
+# fail.mk:3: inc1.mk: No such file or directory
+# fail.mk:8: inc2.mk: No such file or directory
+# echo "X = C" >inc1.mk
+# echo "Y = " >inc2.mk
+# make: Nothing to be done for `all'.
+
+# make built both inc1.mk and inc2.mk without restarting itself
+# between the two (even though we added a dependency on inc1.mk from
+# inc2.mk).
 #
-BIN_DIST_DIRS=ghc
+# The solution we adopt in the GHC build system is essentially this:
 
-binary-dist:: binary-dist-pre
+# --------------------
+# PHASE = 0
+# 
+# ifeq "$(PHASE)" "0"
+# all :
+# 	$(MAKE) PHASE=1
+# else
+# all :
+# endif
+# 
+# -include inc1.mk
+# 
+# inc1.mk : Makefile
+# 	echo "X = C" >$@
+# 
+# ifneq "$(PHASE)" "0"
+# include inc2.mk
+# 
+# inc2.mk : inc1.mk
+# 	echo "Y = $(X)" >$@
+# endif
+# 
+# clean :
+# 	rm -f inc1.mk inc2.mk
+# --------------------
 
-BIN_DIST_TOP= distrib/Makefile-bin.in \
-	      distrib/configure-bin.in \
-	      distrib/README \
-	      distrib/INSTALL \
-	      distrib/ANNOUNCE
+# That is, every time make is invoked, we force it to update inc1.mk
+# and then restart.  In the GHC build system we need to divide the
+# build into 4 phases in fact, with a restart between each phase.  See
+# ghc.mk for the details on what happens in each phase and why.
 
-binary-dist::
-	@for i in $(BIN_DIST_TOP); do \
-	  @echo cp $$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME) \
-	  cp $$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME) \
-	done;
+default : all
+	@:
 
-#
-# Creating and copying the documentation into the bin-dist tree.
-#
-binary-dist::
-	$(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html
-	$(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi
-	$(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info
-	@echo "Making html documentation.."
-	$(MAKE) -C docs --no-print-directory $(MFLAGS) html
-	cp docs/html/* $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html
-	@echo "Making dvi files.."
-	$(MAKE) -C docs --no-print-directory $(MFLAGS) dvi
-	cp docs/*.dvi  $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi
-	@echo "Making info files.."
-	$(MAKE) -C docs --no-print-directory $(MFLAGS) info
-	cp docs/*.info* $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info
-
-dist :: dist-pre
-include $(TOP)/mk/target.mk
-dist :: dist-post
+# No need to update makefiles for these targets:
+REALGOALS=$(filter-out clean clean_% distclean maintainer-clean show,$(MAKECMDGOALS))
+
+# 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:
+	@echo "===--- updating makefiles phase 0"
+	$(MAKE) -r --no-print-directory -f ghc.mk phase=0 just-makefiles
+	@echo "===--- updating makefiles phase 1"
+	$(MAKE) -r --no-print-directory -f ghc.mk phase=1 just-makefiles
+	@echo "===--- updating makefiles phase 2"
+	$(MAKE) -r --no-print-directory -f ghc.mk phase=2 just-makefiles
+	@echo "===--- updating makefiles phase 3"
+	$(MAKE) -r --no-print-directory -f ghc.mk phase=3 just-makefiles
+	@echo "===--- finished updating makefiles"
+	$(MAKE) -r --no-print-directory -f ghc.mk $@
+
+binary-dist:
+	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
+
+clean distclean maintainer-clean:
+	$(MAKE) -r --no-print-directory -f ghc.mk $@
+	test ! -d testsuite || $(MAKE) -C testsuite $@
+
+$(filter clean_%, $(MAKECMDGOALS)) : clean_% :
+	$(MAKE) -r --no-print-directory -f ghc.mk $@
+
+show:
+	$(MAKE) -r --no-print-directory -f ghc.mk $@
+
+# If the user says 'make A B', then we don't want to invoke two
+# instances of the rule above in parallel:
+.NOTPARALLEL:
+
+endif