Makefile 1.74 KB
Newer Older
1 2 3 4 5 6 7
#################################################################################
#
#			fptools/Makefile
#
#		This is the main Makefile for fptools.
#
#################################################################################
8

9 10 11
TOP=.
include $(TOP)/mk/boilerplate.mk
SRC_DIST_DIR=$(shell pwd)/$(SRC_DIST_NAME)
12

13
SUBDIRS = $(ProjectsToBuild)
14

15 16 17 18 19
#
# 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
20 21


22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
#
# 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