MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/scripts/mmc --make --options-file - dst_test.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/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-10-13/stage2/scripts/mmc --make --options-file - dst_test
Making Mercury/int3s/dst_test.int3
Making Mercury/ints/dst_test.int
Making Mercury/javas/jmercury/dst_test.java
Making Java class files
Mercury/javas/jmercury/dst_test.java:32: error: package maybe.Maybe_1 does not exist 
  private static final maybe.Maybe_1.Yes_1[] MR_scalar_common_1 = new maybe.Maybe_1.Yes_1[2];
                                    ^
Mercury/javas/jmercury/dst_test.java:33: error: package time does not exist 
  private static final time.Tm_0[] MR_scalar_common_2 = new time.Tm_0[16];
                           ^
Mercury/javas/jmercury/dst_test.java:246: error: package time does not exist 
    time.Tm_0 TM_4)
        ^
Mercury/javas/jmercury/dst_test.java:15: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.progname = "dst_test";
                    ^
Mercury/javas/jmercury/dst_test.java:16: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.args = args;
                    ^
Mercury/javas/jmercury/dst_test.java:17: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.exit_status = 0;
                    ^
Mercury/javas/jmercury/dst_test.java:18: error: cannot find symbol 
    library.ML_std_library_init();
    ^
  symbol:   variable library
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:19: error: cannot find symbol 
    benchmarking.ML_initialise();
    ^
  symbol:   variable benchmarking
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:25: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.runMain(run_main);
                    ^
Mercury/javas/jmercury/dst_test.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
    ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
    ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:28: error: package jmercury.runtime does not exist 
    java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status);
                                          ^
Mercury/javas/jmercury/dst_test.java:32: error: package maybe.Maybe_1 does not exist 
  private static final maybe.Maybe_1.Yes_1[] MR_scalar_common_1 = new maybe.Maybe_1.Yes_1[2];
                                                                                   ^
Mercury/javas/jmercury/dst_test.java:33: error: package time does not exist 
  private static final time.Tm_0[] MR_scalar_common_2 = new time.Tm_0[16];
                                                                ^
Mercury/javas/jmercury/dst_test.java:37: error: package maybe.Maybe_1 does not exist 
      new maybe.Maybe_1.Yes_1(
                       ^
Mercury/javas/jmercury/dst_test.java:38: error: package time does not exist 
        ((java.lang.Object) (time.Dst_0.K0))
                                 ^
Mercury/javas/jmercury/dst_test.java:38: error: illegal start of type 
        ((java.lang.Object) (time.Dst_0.K0))
                            ^
Mercury/javas/jmercury/dst_test.java:41: error: package maybe.Maybe_1 does not exist 
      new maybe.Maybe_1.Yes_1(
                       ^
Mercury/javas/jmercury/dst_test.java:42: error: package time does not exist 
        ((java.lang.Object) (time.Dst_0.K1))
                                 ^
Mercury/javas/jmercury/dst_test.java:42: error: illegal start of type 
        ((java.lang.Object) (time.Dst_0.K1))
                            ^
Mercury/javas/jmercury/dst_test.java:45: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:54: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:57: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:66: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:69: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:78: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:81: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:90: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:93: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:102: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:105: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:114: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:117: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:126: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:129: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:138: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:141: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:150: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:153: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:162: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:165: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:174: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:177: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:186: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:189: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:198: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:201: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:210: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:213: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:222: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[1]
              ^
Mercury/javas/jmercury/dst_test.java:225: error: package time does not exist 
      new time.Tm_0(
              ^
Mercury/javas/jmercury/dst_test.java:234: error: package maybe does not exist 
        (maybe.Maybe_1) dst_test.MR_scalar_common_1[0]
              ^
Mercury/javas/jmercury/dst_test.java:248: error: package time does not exist 
    time.Time_t_0 Time_6 = null;
        ^
Mercury/javas/jmercury/dst_test.java:249: error: package time does not exist 
    time.Tm_0 LocalTM_7 = null;
        ^
Mercury/javas/jmercury/dst_test.java:254: error: package time does not exist 
    time.Tm_0 Var_20 = null;
        ^
Mercury/javas/jmercury/dst_test.java:257: error: cannot find symbol 
      Time_6 = time.mktime_4_p_0(TM_4);
               ^
  symbol:   variable time
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:261: error: cannot find symbol 
      io.write_string_3_p_0(Var_11);
      ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:264: error: cannot find symbol 
      LocalTM_7 = time.localtime_4_p_0(Time_6);
                  ^
  symbol:   variable time
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:267: error: cannot find symbol 
      Var_14 = time.asctime_1_f_0(LocalTM_7);
               ^
  symbol:   variable time
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:270: error: cannot find symbol 
      io.write_string_3_p_0(Var_14);
      ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:274: error: cannot find symbol 
      io.write_string_3_p_0(Var_16);
      ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:277: error: cannot find symbol 
      Var_20 = time.gmtime_1_f_0(Time_6);
               ^
  symbol:   variable time
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:280: error: cannot find symbol 
      Var_18 = time.asctime_1_f_0(Var_20);
               ^
  symbol:   variable time
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:283: error: cannot find symbol 
      io.write_string_3_p_0(Var_18);
      ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:290: error: package time does not exist 
    time.Tm_0 Var_6 = (time.Tm_0) dst_test.MR_scalar_common_2[0];
        ^
Mercury/javas/jmercury/dst_test.java:290: error: package time does not exist 
    time.Tm_0 Var_6 = (time.Tm_0) dst_test.MR_scalar_common_2[0];
                           ^
Mercury/javas/jmercury/dst_test.java:291: error: package time does not exist 
    time.Tm_0 Var_18 = null;
        ^
Mercury/javas/jmercury/dst_test.java:292: error: package time does not exist 
    time.Tm_0 Var_30 = null;
        ^
Mercury/javas/jmercury/dst_test.java:293: error: package time does not exist 
    time.Tm_0 Var_43 = null;
        ^
Mercury/javas/jmercury/dst_test.java:294: error: package time does not exist 
    time.Tm_0 Var_55 = null;
        ^
Mercury/javas/jmercury/dst_test.java:295: error: package time does not exist 
    time.Tm_0 Var_67 = null;
        ^
Mercury/javas/jmercury/dst_test.java:296: error: package time does not exist 
    time.Tm_0 Var_80 = null;
        ^
Mercury/javas/jmercury/dst_test.java:297: error: package time does not exist 
    time.Tm_0 Var_92 = null;
        ^
Mercury/javas/jmercury/dst_test.java:298: error: package time does not exist 
    time.Tm_0 Var_104 = null;
        ^
Mercury/javas/jmercury/dst_test.java:299: error: package time does not exist 
    time.Tm_0 Var_117 = null;
        ^
Mercury/javas/jmercury/dst_test.java:300: error: package time does not exist 
    time.Tm_0 Var_129 = null;
        ^
Mercury/javas/jmercury/dst_test.java:301: error: package time does not exist 
    time.Tm_0 Var_141 = null;
        ^
Mercury/javas/jmercury/dst_test.java:306: error: package time does not exist 
    Var_18 = (time.Tm_0) dst_test.MR_scalar_common_2[1];
                  ^
Mercury/javas/jmercury/dst_test.java:310: error: package time does not exist 
    Var_30 = (time.Tm_0) dst_test.MR_scalar_common_2[2];
                  ^
Mercury/javas/jmercury/dst_test.java:315: error: cannot find symbol 
      io.nl_2_p_0();
      ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:317: error: package time does not exist 
    Var_43 = (time.Tm_0) dst_test.MR_scalar_common_2[3];
                  ^
Mercury/javas/jmercury/dst_test.java:321: error: package time does not exist 
    Var_55 = (time.Tm_0) dst_test.MR_scalar_common_2[4];
                  ^
Mercury/javas/jmercury/dst_test.java:325: error: package time does not exist 
    Var_67 = (time.Tm_0) dst_test.MR_scalar_common_2[5];
                  ^
Mercury/javas/jmercury/dst_test.java:330: error: cannot find symbol 
      io.nl_2_p_0();
      ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:332: error: package time does not exist 
    Var_80 = (time.Tm_0) dst_test.MR_scalar_common_2[6];
                  ^
Mercury/javas/jmercury/dst_test.java:336: error: package time does not exist 
    Var_92 = (time.Tm_0) dst_test.MR_scalar_common_2[7];
                  ^
Mercury/javas/jmercury/dst_test.java:340: error: package time does not exist 
    Var_104 = (time.Tm_0) dst_test.MR_scalar_common_2[8];
                   ^
Mercury/javas/jmercury/dst_test.java:345: error: cannot find symbol 
      io.nl_2_p_0();
      ^
  symbol:   variable io
  location: class dst_test
Mercury/javas/jmercury/dst_test.java:347: error: package time does not exist 
    Var_117 = (time.Tm_0) dst_test.MR_scalar_common_2[9];
                   ^
Mercury/javas/jmercury/dst_test.java:351: error: package time does not exist 
    Var_129 = (time.Tm_0) dst_test.MR_scalar_common_2[10];
                   ^
Mercury/javas/jmercury/dst_test.java:355: error: package time does not exist 
    Var_141 = (time.Tm_0) dst_test.MR_scalar_common_2[11];
                   ^
Mercury/javas/jmercury/dst_test.java:365: error: package time does not exist 
    time.Time_t_0 BeforeStart_9 = null;
        ^
Mercury/javas/jmercury/dst_test.java:366: error: package time does not exist 
    time.Time_t_0 AfterStart_10 = null;
        ^
Mercury/javas/jmercury/dst_test.java:367: error: package time does not exist 
    time.Time_t_0 BeforeEnd_11 = null;
        ^
Mercury/javas/jmercury/dst_test.java:368: error: package time does not exist 
    time.Time_t_0 AfterEnd_12 = null;
        ^
Mercury/javas/jmercury/dst_test.java:369: error: package time does not exist 
    time.Tm_0 Var_13 = (time.Tm_0) dst_test.MR_scalar_common_2[12];
        ^
Mercury/javas/jmercury/dst_test.java:369: error: package time does not exist 
    time.Tm_0 Var_13 = (time.Tm_0) dst_test.MR_scalar_common_2[12];
                            ^
Mercury/javas/jmercury/dst_test.java:370: error: package time does not exist 
    time.Tm_0 Var_25 = null;
        ^
100 errors
make[3]: *** [/tmp/mmake.IAvOvm:2362: dst_test] Error 1
make[3]: Target 'dst_test.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-13/tests/hard_coded'