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

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Aug 26 13:34:14 AEST 2002


On 22-Aug-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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.

Estimated hours taken: 0.75
Branches: main

tests/invalid/purity/Mmakefile:
	Use "override EXTRA_MCFLAGS += ..." rather than "EXTRA_MCFLAGS += ...",
	so that it overrides settings on the command line as well as settings
	in the tests/Mmake.params file.
	This is needed because the nightly tests script passes EXTRA_MCFLAGS
	on the command line rather than using the tests/Mmake.params file.

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.4
diff -u -d -r1.4 Mmakefile
--- tests/invalid/purity/Mmakefile	22 Aug 2002 08:33:06 -0000	1.4
+++ tests/invalid/purity/Mmakefile	26 Aug 2002 03:30:52 -0000
@@ -23,7 +23,7 @@
 # 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
+override EXTRA_MCFLAGS += --no-intermodule-optimization
 
 # Module-specific options should go in Mercury.options so they
 # can be found by `mmc --make'.
-- 
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
--------------------------------------------------------------------------



More information about the reviews mailing list