[m-rev.] diff: pass LIBGRADES and INSTALL_PREFIX to mmc

[Simon Taylor]

Estimated hours taken: 0.2
Branches: main

configure.in:
scripts/mmc.in:
	Pass INSTALL_PREFIX and LIBGRADES to mmc.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.312
diff -u -u -r1.312 configure.in
--- configure.in	4 Jul 2002 03:43:01 -0000	1.312
+++ configure.in	5 Jul 2002 13:50:03 -0000
@@ -2212,7 +2212,14 @@
 LIBGRADES=` echo " $LIBGRADES " | sed "s/ $GRADE / /" `
 MERCURY_MSG("using \`LIBGRADES=$LIBGRADES' as the set of library grades to install")
 
+LIBGRADE_OPTS=
+for libgrade in $LIBGRADES
+do
+	LIBGRADE_OPTS="$LIBGRADE_OPTS --libgrade $libgrade"
+done
+
 AC_SUBST(LIBGRADES)
+AC_SUBST(LIBGRADE_OPTS)
 
 #-----------------------------------------------------------------------------#
 #
Index: scripts/mmc.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/mmc.in,v
retrieving revision 1.25
diff -u -u -r1.25 mmc.in
--- scripts/mmc.in	6 May 2002 11:43:51 -0000	1.25
+++ scripts/mmc.in	5 Jul 2002 12:23:07 -0000
@@ -49,6 +49,8 @@
 		--create-archive-command-flags \"@ARFLAGS@\" \
 		--ranlib-command \"@RANLIB@\" \
 		--fullarch \"@FULLARCH@\" \
+		--install-prefix \"@prefix@\" \
+		@LIBGRADE_OPTS@ \
 		--num-real-r-regs \"@NUM_REAL_R_REGS@\" \
 		--num-real-r-temps \"@NUM_REAL_R_TEMPS@\" \
 		--conf-low-tag-bits \"@LOW_TAG_BITS@\" \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------