[m-rev.] diff: make stage 1 C# executables work with Mono

[Julien Fischer]

The configure script's up-to-date check does not need to be update
because it checks for --warn-include-and-non-include, which was added
after --mono-path-directory.

-----------------------

Make stage 1 C# executables work with Mono.

They do not currently work in-situ because the launcher scripts we
generate do not
set MONO_PATH appropriately. Use the new --mono-path-directory option to remedy
this.

compiler/COMP_FLAGS.in:
deep_profiler/DEEP_FLAGS.in:
grade_lib/GRADE_LIB_FLAGS.in:
mfilterjava/MFILTERJAVAC_FLAGS.in:
profiler/PROF_FLAGS.in:
slice/SLICE_FLAGS.in:
    As above.

Julien.

diff --git a/compiler/COMP_FLAGS.in b/compiler/COMP_FLAGS.in
index 81dd263da..d3eb0c68b 100644
--- a/compiler/COMP_FLAGS.in
+++ b/compiler/COMP_FLAGS.in
@@ -26,4 +26,8 @@
 --java-classpath ../library/mer_std.jar
 --java-classpath ../browser/mer_browser.jar
 --java-classpath ../mdbcomp/mer_mdbcomp.jar
+--mono-path-directory ../browser
+--mono-path-directory ../library
+--mono-path-directory ../mdbcomp
+--mono-path-directory ../ssdb
 --config-file ../scripts/Mercury.config.bootstrap
diff --git a/deep_profiler/DEEP_FLAGS.in b/deep_profiler/DEEP_FLAGS.in
index 1613870ad..9c69c7e02 100644
--- a/deep_profiler/DEEP_FLAGS.in
+++ b/deep_profiler/DEEP_FLAGS.in
@@ -22,4 +22,7 @@
 --java-classpath ../library/mer_std.jar
 --java-classpath ../browser/mer_browser.jar
 --java-classpath ../mdbcomp/mer_mdbcomp.jar
+--mono-path-directory ../browser
+--mono-path-directory ../library
+--mono-path-directory ../ssdb
 --config-file ../scripts/Mercury.config.bootstrap
diff --git a/grade_lib/GRADE_LIB_FLAGS.in b/grade_lib/GRADE_LIB_FLAGS.in
index 40dd1bfcd..c3f5cbade 100644
--- a/grade_lib/GRADE_LIB_FLAGS.in
+++ b/grade_lib/GRADE_LIB_FLAGS.in
@@ -11,4 +11,5 @@
 --no-java-classpath
 --java-classpath ../library/mer_rt.jar
 --java-classpath ../library/mer_std.jar
+--mono-path-directory ../library
 --config-file ../scripts/Mercury.config.bootstrap
diff --git a/mfilterjavac/MFILTERJAVAC_FLAGS.in
b/mfilterjavac/MFILTERJAVAC_FLAGS.in
index 1613870ad..9c69c7e02 100644
--- a/mfilterjavac/MFILTERJAVAC_FLAGS.in
+++ b/mfilterjavac/MFILTERJAVAC_FLAGS.in
@@ -22,4 +22,7 @@
 --java-classpath ../library/mer_std.jar
 --java-classpath ../browser/mer_browser.jar
 --java-classpath ../mdbcomp/mer_mdbcomp.jar
+--mono-path-directory ../browser
+--mono-path-directory ../library
+--mono-path-directory ../ssdb
 --config-file ../scripts/Mercury.config.bootstrap
diff --git a/profiler/PROF_FLAGS.in b/profiler/PROF_FLAGS.in
index c95d5c322..003d2b1f2 100644
--- a/profiler/PROF_FLAGS.in
+++ b/profiler/PROF_FLAGS.in
@@ -24,4 +24,8 @@
 --no-java-classpath
 --java-classpath ../library/mer_rt.jar
 --java-classpath ../library/mer_std.jar
+--mono-path-directory ../browser
+--mono-path-directory ../library
+--mono-path-directory ../mdbcomp
+--mono-path-directory ../ssdb
 --config-file ../scripts/Mercury.config.bootstrap
diff --git a/slice/SLICE_FLAGS.in b/slice/SLICE_FLAGS.in
index f988c8e8f..20b88f593 100644
--- a/slice/SLICE_FLAGS.in
+++ b/slice/SLICE_FLAGS.in
@@ -21,5 +21,8 @@
 --java-classpath ../library/mer_rt.jar
 --java-classpath ../library/mer_std.jar
 --java-classpath ../mdbcomp/mer_mdbcomp.jar
+--mono-path-directory ../browser
+--mono-path-directory ../library
+--mono-path-directory ../ssdb
 --config-file ../scripts/Mercury.config.bootstrap
 --force-disable-tracing