[m-rev.] diff: fix compilation in C# and Java grades

Julien Fischer jfischer at opturion.com
Thu Jan 13 19:01:18 AEDT 2022


Fix compilation in C# and Java grades.

compiler/make.build.m:
     Add a missing import that is only required the above grades.

compiler/Mercury.options.m:
     Do not warn about unused imports in the above module.

Julien.

diff --git a/compiler/Mercury.options b/compiler/Mercury.options
index b871081..fe677b5 100644
--- a/compiler/Mercury.options
+++ b/compiler/Mercury.options
@@ -71,6 +71,7 @@ MCFLAGS-transform_hlds.table_gen          = --no-optimize-constructor-last-call
  # disable the pass on these files.
  MCFLAGS-libs.md5                          = --no-warn-unused-imports
  MCFLAGS-libs.process_util                 = --no-warn-unused-imports
+MCFLAGS-make.build                        = --no-warn-unused-imports

  # process_util.m uses `kill' and `struct sigaction' from <signal.h>,
  # which are not available with `--ansi'.
diff --git a/compiler/make.build.m b/compiler/make.build.m
index 5feca55..bc426d5 100644
--- a/compiler/make.build.m
+++ b/compiler/make.build.m
@@ -176,6 +176,7 @@
  :- import_module char.
  :- import_module getopt.
  :- import_module int.
+:- import_module require.
  :- import_module set.
  :- import_module string.


More information about the reviews mailing list