[m-rev.] diff: disable --use-opt-files

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main, release

compiler/handle_options.m:
	Disable `--use-opt-files'.
	When inter-module optimization is enabled, error checking
	without the extra information from the `.opt' files is done
	when making the `.opt' file. With `--use-opt-files', that
	doesn't happen.
 	
Index: handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.119
diff -u -u -r1.119 handle_options.m
--- handle_options.m	1 Sep 2001 07:42:51 -0000	1.119
+++ handle_options.m	8 Nov 2001 12:48:43 -0000
@@ -367,6 +367,13 @@
 	option_implies(intermodule_optimization, use_opt_files, bool(no)),
 	option_implies(transitive_optimization, use_trans_opt_files, bool(no)),
 
+	% XXX `--use-opt-files' is broken.
+	% When inter-module optimization is enabled, error checking
+	% without the extra information from the `.opt' files
+	% is done when making the `.opt' file. With `--use-opt-files',
+	% that doesn't happen.
+	globals__io_set_option(use_opt_files, bool(no)),
+
 	option_implies(smart_recompilation, generate_item_version_numbers,
 			bool(yes)),
 	
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------