MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid_seq'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  --halt-at-warn  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/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-24/stage2/scripts/mmc --make --options-file - bug100.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid_seq'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid_seq'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  --halt-at-warn  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/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-24/stage2/scripts/mmc --make --options-file - bug100.class
Making Mercury/int3s/bug100.int3
Making Mercury/int3s/bug100_helper_1.int3
Making Mercury/int3s/bug100_helper_2.int3
Making Mercury/ints/bug100.int
Making Mercury/ints/bug100_helper_1.int
Making Mercury/ints/bug100_helper_2.int
Making Mercury/javas/jmercury/bug100.java
Making Mercury/classes/jmercury/bug100.class
Mercury/javas/jmercury/bug100.java:17: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassId bug100__type_class_id_tc_1 = new jmercury.runtime.TypeClassId();
                                       ^
Mercury/javas/jmercury/bug100.java:18: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassConstraint bug100__type_class_decl_super_tc_1_1 = new jmercury.runtime.TypeClassConstraint();
                                       ^
Mercury/javas/jmercury/bug100.java:19: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassConstraint[] bug100__type_class_decl_supers_tc_1 = new jmercury.runtime.TypeClassConstraint[1];
                                       ^
Mercury/javas/jmercury/bug100.java:20: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeClassDeclStruct bug100__type_class_decl_tc_1 = new jmercury.runtime.TypeClassDeclStruct();
                                      ^
Mercury/javas/jmercury/bug100.java:17: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassId bug100__type_class_id_tc_1 = new jmercury.runtime.TypeClassId();
                                                                                                     ^
Mercury/javas/jmercury/bug100.java:18: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassConstraint bug100__type_class_decl_super_tc_1_1 = new jmercury.runtime.TypeClassConstraint();
                                                                                                                       ^
Mercury/javas/jmercury/bug100.java:19: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassConstraint[] bug100__type_class_decl_supers_tc_1 = new jmercury.runtime.TypeClassConstraint[1];
                                                                                                                        ^
Mercury/javas/jmercury/bug100.java:20: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeClassDeclStruct bug100__type_class_decl_tc_1 = new jmercury.runtime.TypeClassDeclStruct();
                                                                                                              ^
Mercury/javas/jmercury/bug100.java:46: error: cannot find symbol 
      bug100_helper_2.bug100_helper_2__type_class_decl_tc2_1,
      ^
  symbol:   variable bug100_helper_2
  location: class bug100
Mercury/javas/jmercury/bug100.java:48: error: package jmercury.runtime does not exist 
        jmercury.runtime.PseudoTypeInfo.K1
                        ^
Mercury/javas/jmercury/bug100.java:52: error: package jmercury.runtime does not exist 
      (jmercury.runtime.TypeClassConstraint) bug100.bug100__type_class_decl_super_tc_1_1;
                       ^
11 errors
** Error making `Mercury/classes/jmercury/bug100.class'.
make[3]: *** [/tmp/mmake.cAgbSu:1242: bug100.class] Error 1
make[3]: Target 'bug100.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid_seq'