[m-rev.] diff: avoid spurious warnings when building xml docs

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Avoid spurious warnings about missing .opt files.

compiler/handle_options.m:
 	Don't warn about missing .opt files when compiling with
 	--make-xml-documentation.

 	Disable smart recompilation when compiling with
 	--make-xml-documentation.

Julien.

Index: handle_options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.286
diff -u -r1.286 handle_options.m
--- handle_options.m	5 Dec 2006 03:50:50 -0000	1.286
+++ handle_options.m	5 Dec 2006 06:32:43 -0000
@@ -808,6 +808,8 @@
              !Globals),
          option_implies(make_short_interface, smart_recompilation, bool(no),
              !Globals),
+        option_implies(make_xml_documentation, smart_recompilation, bool(no),
+            !Globals),
          option_implies(output_grade_string, smart_recompilation, bool(no),
              !Globals),
          option_implies(make_optimization_interface,
@@ -840,6 +842,13 @@
          option_implies(make_short_interface, generate_item_version_numbers,
              bool(no), !Globals),

+        % The combination of --make-xml-documentation and
+        % --intermodule-optimization can causes spurious warnings about
+        % missing .opt files if they haven't been built yet.
+        %
+        option_implies(make_xml_documentation, intermodule_optimization,
+            bool(no), !Globals),
+
          % XXX Smart recompilation does not yet work with inter-module
          % optimization, but we still want to generate version numbers
          % in interface files for users of a library compiled with

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------