MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/tests/general' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/runtime/mer_rt.init '; echo MLLIBS += ' '; echo MLOBJS += ' '; echo LDFLAGS += ' '; echo LD_LIBFLAGS += ' '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/scripts/mmc --make --options-file - read_line_as_string.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/tests/general' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/tests/general' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/runtime/mer_rt.init '; echo MLLIBS += ' '; echo MLOBJS += ' '; echo LDFLAGS += ' '; echo LD_LIBFLAGS += ' '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/stage2/scripts/mmc --make --options-file - read_line_as_string Making Mercury/int3s/read_line_as_string.int3 Making Mercury/ints/read_line_as_string.int Making Mercury/javas/jmercury/read_line_as_string.java Making Java class files Mercury/javas/jmercury/read_line_as_string.java:35: error: package io does not exist io.Result_1 Result_4) ^ Mercury/javas/jmercury/read_line_as_string.java:15: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.progname = "read_line_as_string"; ^ Mercury/javas/jmercury/read_line_as_string.java:16: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.args = args; ^ Mercury/javas/jmercury/read_line_as_string.java:17: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.exit_status = 0; ^ Mercury/javas/jmercury/read_line_as_string.java:18: error: cannot find symbol library.ML_std_library_init(); ^ symbol: variable library location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:19: error: cannot find symbol benchmarking.ML_initialise(); ^ symbol: variable benchmarking location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:25: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.runMain(run_main); ^ Mercury/javas/jmercury/read_line_as_string.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:28: error: package jmercury.runtime does not exist java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status); ^ Mercury/javas/jmercury/read_line_as_string.java:40: error: illegal start of type switch (Result_4.data_tag) { ^ Mercury/javas/jmercury/read_line_as_string.java:43: error: package io.Result_1 does not exist java.lang.String Line_6 = ((java.lang.String) ((io.Result_1.Ok_1) Result_4).F1); ^ Mercury/javas/jmercury/read_line_as_string.java:44: error: package io does not exist io.Result_1 NextResult_7 = null; ^ Mercury/javas/jmercury/read_line_as_string.java:45: error: package io does not exist io.Result_1 next_value_of_Result_4 = null; ^ Mercury/javas/jmercury/read_line_as_string.java:48: error: cannot find symbol io.write_string_3_p_0(Line_6); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:51: error: cannot find symbol NextResult_7 = io.read_line_as_string_3_p_0(); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:67: error: cannot find symbol io.write_string_3_p_0(Var_14); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:72: error: package jmercury.runtime does not exist throw new jmercury.runtime.UnreachableDefault(); ^ Mercury/javas/jmercury/read_line_as_string.java:82: error: package io does not exist io.Res_1 Result_4 = null; ^ Mercury/javas/jmercury/read_line_as_string.java:84: error: package io does not exist io.Text_input_stream_0 Stream_5 = null; ^ Mercury/javas/jmercury/read_line_as_string.java:87: error: cannot find symbol Result_4 = io.open_input_4_p_0(Var_10); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:92: error: package io does not exist Stream_5 = ((io.Text_input_stream_0) ((io.Res_1.Ok_1) Result_4).F1); ^ Mercury/javas/jmercury/read_line_as_string.java:92: error: package io.Res_1 does not exist Stream_5 = ((io.Text_input_stream_0) ((io.Res_1.Ok_1) Result_4).F1); ^ Mercury/javas/jmercury/read_line_as_string.java:94: error: package io does not exist io.Result_1 Result2_7 = null; ^ Mercury/javas/jmercury/read_line_as_string.java:95: error: package io does not exist io.Text_input_stream_0 Var_6 = null; ^ Mercury/javas/jmercury/read_line_as_string.java:98: error: cannot find symbol Var_6 = io.set_input_stream_4_p_0(Stream_5); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:101: error: cannot find symbol Result2_7 = io.read_line_as_string_3_p_0(); ^ symbol: variable io location: class read_line_as_string Mercury/javas/jmercury/read_line_as_string.java:113: error: cannot find symbol io.write_string_3_p_0(Var_15); ^ symbol: variable io location: class read_line_as_string 30 errors make[3]: *** [/tmp/mmake.lX7HJD:1282: read_line_as_string] Error 1 make[3]: Target 'read_line_as_string.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-15/tests/general'