-#-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.2 1996/11/21 16:45:54 simonm Exp $
+#################################################################################
+#
+# fptools/Makefile
+#
+# This is the main Makefile for fptools.
+#
+#################################################################################
-TOP = .
-SUBDIRS = glafp-utils ghc
-include $(TOP)/mk/gen.mk
-include $(TOP)/mk/subdir.mk
+TOP=.
+include $(TOP)/mk/boilerplate.mk
+SRC_DIST_DIR=$(shell pwd)/$(SRC_DIST_NAME)
-line = @echo "------------------------------------------------------------------------------"
+SUBDIRS = $(ProjectsToBuild)
-boot ::
- @echo "Bootstrapping $(PROJECTNAME)..."
- $(line)
- @echo "Booting glafp-utils"
- $(line)
- @$(MAKE) -C glafp-utils boot
+#
+# 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
- $(line)
- @echo "Booting ghc"
- $(line)
- @$(MAKE) -C ghc boot
- @echo "Done!"
+#
+# Making a binary distribution
+#
+BIN_DIST_TMPDIR=$(shell pwd)
+BIN_DIST_NAME=fptools
+
+#
+# list of toplevel `projects' to include in binary distrib.
+#
+BIN_DIST_DIRS=ghc
+
+binary-dist:: binary-dist-pre
+
+BIN_DIST_TOP= distrib/Makefile-bin.in \
+ distrib/configure-bin.in \
+ distrib/README \
+ distrib/INSTALL \
+ distrib/ANNOUNCE
+
+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;
+
+#
+# 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
+