[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