[m-rev.] diff: --smart-recompilation and --generate-source-file-mapping

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

compiler/handle_options.m:
	Avoid a warning from smart recompilation when generating a source file
	mapping.  The warning occurs because --no-target-code-only is enabled
	by default when --generate-source-file-mapping is specified and the
	former is incompatible with --smart-recompilation.

Julien.

Index: handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.248
diff -u -r1.248 handle_options.m
--- handle_options.m	6 Jan 2006 04:06:50 -0000	1.248
+++ handle_options.m	13 Jan 2006 04:12:36 -0000
@@ -722,12 +722,13 @@
             bool(yes), !Globals),
         option_implies(find_all_recompilation_reasons, verbose_recompilation,
             bool(yes), !Globals),
-
         %
-        % Disable `--smart-recompilation' for compilation options
-        % which either do not produce a compiled output file or
-        % for which smart recompilation will not work.
+        % Disable `--smart-recompilation' for compilation options which either
+        % do not produce a compiled output file or for which smart
+        % recompilation will not work.
         %
+        option_implies(generate_source_file_mapping, smart_recompilation,
+            bool(no), !Globals),
         option_implies(generate_dependencies, smart_recompilation, bool(no),
             !Globals),
         option_implies(generate_dependency_file, smart_recompilation, bool(no),

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------