[m-rev.] diff: fix for tests/invalid/purity & intermodule opt

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

tests/invalid/purity/Mmakefile:
	Add --no-intermodule-optimization to EXTRA_MCFLAGS.
	This is needed after stayl's recent change which added
	`-include Mmake.params' to tests/Mmake.common,
	because the tests in this directory get spurious failures
	if intermodule optimization is enabled.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: tests/invalid/purity/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/purity/Mmakefile,v
retrieving revision 1.3
diff -u -d -r1.3 Mmakefile
--- tests/invalid/purity/Mmakefile	17 Aug 2002 13:52:21 -0000	1.3
+++ tests/invalid/purity/Mmakefile	22 Aug 2002 08:27:10 -0000
@@ -19,6 +19,12 @@
 TESTS_DIR=../..
 include $(TESTS_DIR)/Mmake.common
 
+# These tests all get spurious failures with intermodule optimization,
+# because the errors get detected when creating the `.opt' file rather
+# than when compiling the main module.  So we disable intermodule optimization
+# for these tests.
+EXTRA_MCFLAGS += --no-intermodule-optimization
+
 # Module-specific options should go in Mercury.options so they
 # can be found by `mmc --make'.
 include Mercury.options

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------