[m-rev.] diff: fix inter-module optimization dependencies bug

[Simon Taylor]

Estimated hours taken: 0.25
Branches: main, release

compiler/mercury_compile.m:
	Don't write the `.d' file when making the `.opt' file.
	When building the `.opt' file we don't have enough
	information to work out the transitive implementation
	dependencies.

Index: mercury_compile.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/mercury_compile.m,v
retrieving revision 1.275
diff -u -u -r1.275 mercury_compile.m
--- mercury_compile.m	17 Feb 2003 06:02:20 -0000	1.275
+++ mercury_compile.m	18 Feb 2003 15:09:24 -0000
@@ -1347,7 +1347,13 @@
 	globals__io_lookup_bool_option(statistics, Stats),
 	globals__io_lookup_bool_option(verbose, Verbose),
 	globals__io_lookup_bool_option(invoked_by_mmc_make, MMCMake),
-	{ DontWriteDFile = DontWriteDFile0 `or` MMCMake },
+	{ DontWriteDFile1 = DontWriteDFile0 `or` MMCMake },
+
+	% Don't write the `.d' file when making the `.opt' file because
+	% we can't work out the full transitive implementation dependencies.
+	globals__io_lookup_bool_option(make_optimization_interface,
+		MakeOptInt),
+	{ DontWriteDFile = DontWriteDFile1 `or` MakeOptInt },
 
 	{ module_imports_get_module_name(ModuleImports0, Module) },
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------