[m-rev.] diff: library/Mmakefile and grades

[Zoltan Somogyi]

library/Mmakefile:
	Pass along the grade flags when generating dependencies. Without
	this, one could get false errors if
	
	(a) the file we are generating dependencies for has
	    --trace deep specified for it, and
	(b) the default grade doesn't support debugging, but the actual
	    grade specified by the grade flags does.

Zoltan.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.110
diff -u -b -r1.110 Mmakefile
--- Mmakefile	4 Mar 2003 05:24:01 -0000	1.110
+++ Mmakefile	14 Mar 2003 04:04:11 -0000
@@ -80,8 +80,9 @@
 # maintain the expected output of the debugging test cases in debugging grades.
 #
 # Always generate dependencies for use by `mmc --make'.
-MCFLAGS += --strict-sequential --trace minimum --generate-mmc-deps \
-		$(INTERMODULE_OPTS) $(ENABLE_TERM_OPTS) $(CHECK_TERM_OPTS)
+MCFLAGS += --strict-sequential --trace minimum $(ALL_GRADEFLAGS) \
+		--generate-mmc-deps $(INTERMODULE_OPTS) \
+		$(ENABLE_TERM_OPTS) $(CHECK_TERM_OPTS)
 
 # The IL and Java implementations of the standard library are not yet complete,
 # so we need to pass `--allow-stubs' to get them to compile.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------