[m-rev.] trivial diff: library installation with `mmake --use-mmc-make'

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

scripts/Mmake.vars.in:
	Add lib*.install to the list of targets that should
	be handled by mmc with `--use-mmc-make'.

Index: Mmake.vars.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmake.vars.in,v
retrieving revision 1.77
diff -u -u -r1.77 Mmake.vars.in
--- Mmake.vars.in	7 Aug 2002 13:12:09 -0000	1.77
+++ Mmake.vars.in	16 Aug 2002 02:04:49 -0000
@@ -73,8 +73,6 @@
 #
 # Files which should be built using `mmc --make' rather than `make'
 # when `--use-mmc-make' is passed on the mmake command line.
-# XXX Once `mmc --make' allows library installation we should add
-# %.install to the list below
 #
 ALL_MC_BUILD_FILES = $(MERCURY_MAIN_MODULES:%=%$(EXT_FOR_EXE)) \
 			$(MERCURY_MAIN_MODULES:%=lib%.$A) \
@@ -82,6 +80,7 @@
 			$(MERCURY_MAIN_MODULES:%=%.clean) \
 			$(MERCURY_MAIN_MODULES:%=%.realclean) \
 			$(MERCURY_MAIN_MODULES:%=%.depend) \
+			$(MERCURY_MAIN_MODULES:%=lib%.install) \
 			$(MC_BUILD_FILES)
 MC_BUILD_FILES =
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------