[m-rev.] for review: install compiler built with mmc --make

[Peter Wang]

Estimated hours taken: 5
Branches: main

This patch makes it possible to install a stage 1 compiler built with
`mmake --use-mmc-make' with `mmake --use-mmc-make install'.
`.trans_opt' files are not installed because `mmc --make' doesn't support
transitive intermodule optimisation.

library/Mmakefile:
	Override the `install_mercury' and `install_library' rules to work
	with `mmake --use-mmc-make'.  We just use `mmc --make libFOO.install'
	to do the work.

	Add `--no-libgrade' to MCFLAGS to prevent `mmc --make' from
	installing the default set of grades for `libFOO.install' targets.

Index: library/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.145
diff -u -r1.145 Mmakefile
--- library/Mmakefile	16 Dec 2005 05:49:39 -0000	1.145
+++ library/Mmakefile	10 Jan 2006 03:55:40 -0000
@@ -471,6 +471,8 @@
 .PHONY: install_all
 install_all: install_mercury
 
+ifneq ($(MMAKE_USE_MMC_MAKE),yes)
+
 .PHONY: install_mercury
 install_mercury: install_ints install_hdrs install_init install_library
 
@@ -562,6 +564,20 @@
 .PHONY: install_split_library
 install_split_library: lib$(STD_LIB_NAME).install_split_library
 
+else	#ifneq ($(MMAKE_USE_MMC_MAKE),yes)
+
+# Prevent `mmc --make' from installing the default set of grades for
+# `libFOO.install' targets.
+MCFLAGS += --no-libgrade
+
+.PHONY: install_mercury
+install_mercury: lib$(STD_LIB_NAME).install
+
+.PHONY: install_library
+install_library: lib$(STD_LIB_NAME).install
+
+endif	#ifneq ($(MMAKE_USE_MMC_MAKE),yes)
+
 else
 
 .PHONY: install
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------