MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/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-07-27/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/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-07-27/stage2/scripts/mmc --make --options-file - implication.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/tests/hard_coded'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/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-07-27/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/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-07-27/stage2/scripts/mmc --make --options-file - implication
Making Mercury/int3s/implication.int3
Making Mercury/ints/implication.int
Making Mercury/javas/jmercury/implication.java
Making Java class files
Mercury/javas/jmercury/implication.java:15: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.progname = "implication";
                    ^
Mercury/javas/jmercury/implication.java:16: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.args = args;
                    ^
Mercury/javas/jmercury/implication.java:17: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.exit_status = 0;
                    ^
Mercury/javas/jmercury/implication.java:18: error: cannot find symbol 
    library.ML_std_library_init();
    ^
  symbol:   variable library
  location: class implication
Mercury/javas/jmercury/implication.java:19: error: cannot find symbol 
    benchmarking.ML_initialise();
    ^
  symbol:   variable benchmarking
  location: class implication
Mercury/javas/jmercury/implication.java:25: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.runMain(run_main);
                    ^
Mercury/javas/jmercury/implication.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
    ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
    ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:28: error: package jmercury.runtime does not exist 
    java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status);
                                          ^
Mercury/javas/jmercury/implication.java:43: error: cannot find symbol 
      io.write_string_3_p_0(Var_6);
      ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:46: error: cannot find symbol 
      succeeded = builtin.semidet_true_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:51: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:61: error: cannot find symbol 
        io.write_string_3_p_0(Var_37);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:69: error: cannot find symbol 
        io.write_string_3_p_0(Var_38);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:73: error: cannot find symbol 
      succeeded = builtin.semidet_true_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:78: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:88: error: cannot find symbol 
        io.write_string_3_p_0(Var_39);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:96: error: cannot find symbol 
        io.write_string_3_p_0(Var_40);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:100: error: cannot find symbol 
      succeeded = builtin.semidet_false_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:105: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:115: error: cannot find symbol 
        io.write_string_3_p_0(Var_41);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:123: error: cannot find symbol 
        io.write_string_3_p_0(Var_42);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:127: error: cannot find symbol 
      succeeded = builtin.semidet_false_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:132: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:142: error: cannot find symbol 
        io.write_string_3_p_0(Var_43);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:150: error: cannot find symbol 
        io.write_string_3_p_0(Var_44);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:155: error: cannot find symbol 
      io.write_string_3_p_0(Var_16);
      ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:158: error: cannot find symbol 
      succeeded = builtin.semidet_true_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:163: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:173: error: cannot find symbol 
        io.write_string_3_p_0(Var_45);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:181: error: cannot find symbol 
        io.write_string_3_p_0(Var_46);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:185: error: cannot find symbol 
      succeeded = builtin.semidet_true_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:190: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:200: error: cannot find symbol 
        io.write_string_3_p_0(Var_47);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:208: error: cannot find symbol 
        io.write_string_3_p_0(Var_48);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:212: error: cannot find symbol 
      succeeded = builtin.semidet_false_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:217: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:227: error: cannot find symbol 
        io.write_string_3_p_0(Var_49);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:235: error: cannot find symbol 
        io.write_string_3_p_0(Var_50);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:239: error: cannot find symbol 
      succeeded = builtin.semidet_false_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:244: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:254: error: cannot find symbol 
        io.write_string_3_p_0(Var_51);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:262: error: cannot find symbol 
        io.write_string_3_p_0(Var_52);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:267: error: cannot find symbol 
      io.write_string_3_p_0(Var_26);
      ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:270: error: cannot find symbol 
      succeeded = builtin.semidet_true_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:275: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:283: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:288: error: cannot find symbol 
          succeeded = builtin.semidet_true_0_p_0();
                      ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:299: error: cannot find symbol 
        io.write_string_3_p_0(Var_53);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:307: error: cannot find symbol 
        io.write_string_3_p_0(Var_54);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:311: error: cannot find symbol 
      succeeded = builtin.semidet_true_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:316: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:324: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:329: error: cannot find symbol 
          succeeded = builtin.semidet_true_0_p_0();
                      ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:340: error: cannot find symbol 
        io.write_string_3_p_0(Var_55);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:348: error: cannot find symbol 
        io.write_string_3_p_0(Var_56);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:352: error: cannot find symbol 
      succeeded = builtin.semidet_false_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:357: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:365: error: cannot find symbol 
        succeeded = builtin.semidet_true_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:370: error: cannot find symbol 
          succeeded = builtin.semidet_false_0_p_0();
                      ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:381: error: cannot find symbol 
        io.write_string_3_p_0(Var_57);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:389: error: cannot find symbol 
        io.write_string_3_p_0(Var_58);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:393: error: cannot find symbol 
      succeeded = builtin.semidet_false_0_p_0();
                  ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:398: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:406: error: cannot find symbol 
        succeeded = builtin.semidet_false_0_p_0();
                    ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:411: error: cannot find symbol 
          succeeded = builtin.semidet_false_0_p_0();
                      ^
  symbol:   variable builtin
  location: class implication
Mercury/javas/jmercury/implication.java:422: error: cannot find symbol 
        io.write_string_3_p_0(Var_59);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:430: error: cannot find symbol 
        io.write_string_3_p_0(Var_60);
        ^
  symbol:   variable io
  location: class implication
Mercury/javas/jmercury/implication.java:435: error: cannot find symbol 
      io.write_string_3_p_0(Var_36);
      ^
  symbol:   variable io
  location: class implication
71 errors
make[3]: *** [/tmp/mmake.BqHsXe:2360: implication] Error 1
make[3]: Target 'implication.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-27/tests/hard_coded'