MERCURY_OPTIONS= make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/hard_coded' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-10/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-10/stage2/scripts/mmc --make --options-file - string_substring.depend make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/hard_coded' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/hard_coded' { echo MCFLAGS += '--grade java --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-10/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/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-10/stage2/scripts/mmc --make --options-file - string_substring Making Mercury/int3s/string_substring.int3 Making Mercury/ints/string_substring.int Making Mercury/javas/jmercury/string_substring.java Making Java class files Mercury/javas/jmercury/string_substring.java:15: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.progname = "string_substring"; ^ Mercury/javas/jmercury/string_substring.java:16: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.args = args; ^ Mercury/javas/jmercury/string_substring.java:17: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.exit_status = 0; ^ Mercury/javas/jmercury/string_substring.java:18: error: cannot find symbol library.ML_std_library_init(); ^ symbol: variable library location: class string_substring Mercury/javas/jmercury/string_substring.java:19: error: cannot find symbol benchmarking.ML_initialise(); ^ symbol: variable benchmarking location: class string_substring Mercury/javas/jmercury/string_substring.java:25: error: package jmercury.runtime does not exist jmercury.runtime.JavaInternal.runMain(run_main); ^ Mercury/javas/jmercury/string_substring.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class string_substring Mercury/javas/jmercury/string_substring.java:26: error: cannot find symbol io.flush_output_3_p_0(io.stdout_stream_0_f_0()); ^ symbol: variable io location: class string_substring Mercury/javas/jmercury/string_substring.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class string_substring Mercury/javas/jmercury/string_substring.java:27: error: cannot find symbol io.flush_output_3_p_0(io.stderr_stream_0_f_0()); ^ symbol: variable io location: class string_substring Mercury/javas/jmercury/string_substring.java:28: error: package jmercury.runtime does not exist java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status); ^ Mercury/javas/jmercury/string_substring.java:119: error: cannot find symbol Var_8 = mr_int.max_int_0_f_0(); ^ symbol: variable mr_int location: class string_substring Mercury/javas/jmercury/string_substring.java:123: error: cannot find symbol Var_73 = string.between_4_p_0(Var_6, Var_7, Var_8); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:131: error: cannot find symbol Var_12 = mr_int.max_int_0_f_0(); ^ symbol: variable mr_int location: class string_substring Mercury/javas/jmercury/string_substring.java:135: error: cannot find symbol Var_74 = string.between_4_p_0(Var_10, Var_11, Var_12); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:143: error: cannot find symbol Var_16 = mr_int.max_int_0_f_0(); ^ symbol: variable mr_int location: class string_substring Mercury/javas/jmercury/string_substring.java:147: error: cannot find symbol Var_75 = string.between_4_p_0(Var_14, Var_15, Var_16); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:155: error: cannot find symbol Var_20 = mr_int.max_int_0_f_0(); ^ symbol: variable mr_int location: class string_substring Mercury/javas/jmercury/string_substring.java:159: error: cannot find symbol Var_76 = string.between_4_p_0(Var_18, Var_19, Var_20); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:167: error: cannot find symbol Var_24 = mr_int.max_int_0_f_0(); ^ symbol: variable mr_int location: class string_substring Mercury/javas/jmercury/string_substring.java:171: error: cannot find symbol Var_77 = string.between_4_p_0(Var_22, Var_23, Var_24); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:179: error: cannot find symbol Var_28 = mr_int.max_int_0_f_0(); ^ symbol: variable mr_int location: class string_substring Mercury/javas/jmercury/string_substring.java:183: error: cannot find symbol Var_78 = string.between_4_p_0(Var_26, Var_27, Var_28); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:193: error: cannot find symbol Var_79 = string.between_4_p_0(Var_30, Var_31, Var_32); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:203: error: cannot find symbol Var_80 = string.between_4_p_0(Var_34, Var_35, Var_36); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:213: error: cannot find symbol Var_81 = string.between_4_p_0(Var_38, Var_39, Var_40); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:223: error: cannot find symbol Var_82 = string.between_4_p_0(Var_42, Var_43, Var_44); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:233: error: cannot find symbol Var_83 = string.between_4_p_0(Var_46, Var_47, Var_48); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:243: error: cannot find symbol Var_84 = string.between_4_p_0(Var_50, Var_51, Var_52); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:253: error: cannot find symbol Var_85 = string.between_4_p_0(Var_54, Var_55, Var_56); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:263: error: cannot find symbol Var_86 = string.between_4_p_0(Var_58, Var_59, Var_60); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:273: error: cannot find symbol Var_87 = string.between_4_p_0(Var_62, Var_63, Var_64); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:283: error: cannot find symbol Var_88 = string.between_4_p_0(Var_66, Var_67, Var_68); ^ symbol: variable string location: class string_substring Mercury/javas/jmercury/string_substring.java:306: error: cannot find symbol io.write_string_3_p_0(Var_70); ^ symbol: variable io location: class string_substring Mercury/javas/jmercury/string_substring.java:314: error: cannot find symbol io.write_string_3_p_0(Var_72); ^ symbol: variable io location: class string_substring 35 errors make[3]: *** [/tmp/mmake.HydDYZ:2364: string_substring] Error 1 make[3]: Target 'string_substring.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-08-10/tests/hard_coded'