[m-dev.] for review: library/Mmakefile +=

[Zoltan Somogyi]

For review by Fergus.

library/Mmakefile:
	Add the necessary flags to file-specific MCFLAG variables without
	overriding their existing values.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.57
diff -u -b -r1.57 Mmakefile
--- Mmakefile	2001/02/07 14:37:35	1.57
+++ Mmakefile	2001/03/07 05:23:20
@@ -26,11 +26,11 @@
 # compiled with these flags to make sure all calls
 # to the builtin comparison routines are inlined.
 TYPE_SPEC_FLAGS = --inline-vars-threshold 10000
-MCFLAGS-list = $(TYPE_SPEC_FLAGS)
-MCFLAGS-map = $(TYPE_SPEC_FLAGS)
-MCFLAGS-tree234 = $(TYPE_SPEC_FLAGS)
-MCFLAGS-set = $(TYPE_SPEC_FLAGS)
-MCFLAGS-set_ordlist = $(TYPE_SPEC_FLAGS)
+MCFLAGS-list += $(TYPE_SPEC_FLAGS)
+MCFLAGS-map += $(TYPE_SPEC_FLAGS)
+MCFLAGS-tree234 += $(TYPE_SPEC_FLAGS)
+MCFLAGS-set += $(TYPE_SPEC_FLAGS)
+MCFLAGS-set_ordlist += $(TYPE_SPEC_FLAGS)
 
 #-----------------------------------------------------------------------------#
 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------