git: ebc62e34c69a - main - lang/mlkit: Standard ML Compiler

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Robert Clausecker <fuz_at_FreeBSD.org>
Date: Mon, 29 May 2023 23:25:56 UTC
The branch main has been updated by fuz:

URL: https://cgit.FreeBSD.org/ports/commit/?id=ebc62e34c69afc2a45e052599af60def8cb192ba

commit ebc62e34c69afc2a45e052599af60def8cb192ba
Author:     Serpent7776 <serpent7776@gmail.com>
AuthorDate: 2023-02-09 18:31:43 +0000
Commit:     Robert Clausecker <fuz@FreeBSD.org>
CommitDate: 2023-05-29 23:24:04 +0000

    lang/mlkit: Standard ML Compiler
    
    The MLKit is a compiler toolkit for the Standard ML language, including
    The MLKit with Regions, which features a native backend for
    the x64 architecture, based on region inference, and SMLtoJs,
    which features a JavaScript backend targeting web browsers.
    The two compilers share the same frontend and compilation management scheme.
    
    The MLKit covers all of Standard ML, as defined in the 1997 edition of
    The Definition of Standard ML and supports most of
    the Standard ML Basis Library.
    
    WWW: https://elsman.com/mlkit/
    
    PR:             269566
---
 lang/Makefile                                      |    1 +
 lang/mlkit/Makefile                                |   53 +
 lang/mlkit/distinfo                                |    3 +
 lang/mlkit/files/patch-Makefile.in                 |   23 +
 lang/mlkit/files/patch-Makefiledefault             |   11 +
 lang/mlkit/files/patch-src_Runtime_Spawn.c         |   24 +
 lang/mlkit/files/patch-src_Runtime_gen__syserror.c |   27 +
 lang/mlkit/files/patch-test_all.tst                |   11 +
 lang/mlkit/files/patch-test_posix.sml              |   10 +
 lang/mlkit/pkg-descr                               |    9 +
 lang/mlkit/pkg-plist                               | 3579 ++++++++++++++++++++
 11 files changed, 3751 insertions(+)

diff --git a/lang/Makefile b/lang/Makefile
index b1aee231e3ff..6e9b036b8828 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -190,6 +190,7 @@
     SUBDIR += micropython
     SUBDIR += mit-scheme
     SUBDIR += mixal
+    SUBDIR += mlkit
     SUBDIR += mlton
     SUBDIR += mmix
     SUBDIR += mono
diff --git a/lang/mlkit/Makefile b/lang/mlkit/Makefile
new file mode 100644
index 000000000000..f545a97e3401
--- /dev/null
+++ b/lang/mlkit/Makefile
@@ -0,0 +1,53 @@
+PORTNAME=	mlkit
+DISTVERSIONPREFIX=	v
+DISTVERSION=	4.7.3
+CATEGORIES=	lang
+
+MAINTAINER=	serpent7776@gmail.com
+COMMENT=	Standard ML compiler
+WWW=		https://elsman.com/mlkit/
+
+LICENSE=	GPLv2 MIT HPND BSD3CLAUSE
+LICENSE_COMB=	multi
+LICENSE_NAME_HPND=	Historical Permission Notice and Disclaimer
+LICENSE_FILE_GPLv2=	${WRKSRC}/doc/license/GPL-LICENSE
+LICENSE_FILE_HPND=	${WRKSRC}/doc/license/MLton-LICENSE
+LICENSE_FILE_BSD3CLAUSE=	${WRKSRC}/doc/license/MLton-LICENSE
+LICENSE_PERMS_HPND=	${_LICENSE_PERMS_DEFAULT}
+
+ONLY_FOR_ARCHS=	amd64
+ONLY_FOR_ARCHS_REASON=	Code generator supports only x86_64
+
+BUILD_DEPENDS=	bash:shells/bash mlton:lang/mlton
+LIB_DEPENDS=	libgmp.so:math/gmp
+
+USES=	gmake autoreconf
+USE_GCC=	yes
+USE_GITHUB=	yes
+GH_ACCOUNT=	melsman
+GNU_CONFIGURE=	yes
+CONFIGURE_SHELL=	bash
+
+ALL_TARGET=	mlkit mlkit_basislibs
+TEST_TARGET=	test
+TEST_ENV=	SML_LIB=${STAGEDIR}${PREFIX}/lib/mlkit
+
+PORTDOCS=	mlkit.pdf mllex.pdf mlyacc.pdf NEWS.md
+
+OPTIONS_DEFINE=	DOCS TEST
+OPTIONS_SUB=	yes
+
+post-patch:
+	@${REINPLACE_CMD} 's|gcc|${CC}|g' ${WRKSRC}/src/Common/Flags.sml
+	@${REINPLACE_CMD} 's|"gcc|"${CC}|g' ${WRKSRC}/src/Compiler/Backend/X64/ExecutionX64.sml
+	@${REINPLACE_CMD} "s|FLAGS=-no_gc -par|FLAGS=-no_gc -par -cc '${CC} -Wl,--allow-multiple-definition'|g" ${WRKSRC}/test/parallelism/Makefile
+	@${REINPLACE_CMD} "s|^DATE=.*|DATE=2023-05-22|" ${WRKSRC}/configure.ac
+	@${REINPLACE_CMD} "s|^COMMITDATE=.*|COMMITDATE=2023-05-22|" ${WRKSRC}/configure.ac
+	@${REINPLACE_CMD} "s|^GITVERSION=.*|GITVERSION=\"${PKGVERSION} built by FreeBSD ports, maintained by ${MAINTAINER}\"|" ${WRKSRC}/configure.ac
+
+post-install:
+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/mlkit
+	${FIND} ${STAGEDIR}${PREFIX}/lib/mlkit/basis -name \*.log -delete
+	${RM} -r ${STAGEDIR}${DOCSDIR}/license
+
+.include <bsd.port.mk>
diff --git a/lang/mlkit/distinfo b/lang/mlkit/distinfo
new file mode 100644
index 000000000000..454e08b854db
--- /dev/null
+++ b/lang/mlkit/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1684581749
+SHA256 (melsman-mlkit-v4.7.3_GH0.tar.gz) = 903cbda07290297e87c62cbdc99b38c281311887858ef07f2f71f71de8c8839a
+SIZE (melsman-mlkit-v4.7.3_GH0.tar.gz) = 5489866
diff --git a/lang/mlkit/files/patch-Makefile.in b/lang/mlkit/files/patch-Makefile.in
new file mode 100644
index 000000000000..35962be31444
--- /dev/null
+++ b/lang/mlkit/files/patch-Makefile.in
@@ -0,0 +1,23 @@
+--- Makefile.in.orig	2022-09-18 19:38:55 UTC
++++ Makefile.in
+@@ -54,7 +54,7 @@ smltojs:
+ all: mlkit mlkit_basislibs smltojs smltojs_basislibs
+ 
+ .PHONY: mlkit_basislibs
+-mlkit_basislibs:
++mlkit_basislibs: mlkit
+ 	(cd basis && SML_LIB=.. ../bin/mlkit -c -no_gc basis.mlb)
+ 	(cd basis && SML_LIB=.. ../bin/mlkit -c -gc basis.mlb)
+ 	(cd basis && SML_LIB=.. ../bin/mlkit -c -gc -prof basis.mlb)
+@@ -458,3 +458,11 @@ mlkit_bin_dist:
+ 	printf "\t"'for f in $$$$(find * -type f | grep -v ^Makefile); do install -p "$$$$f" "$$(PREFIX)/$$$$f"; done\n' \
+                 >> $(CWD)/dist/$(BIN_DIST)/Makefile
+ 	(cd dist && tar czf $(BIN_DIST).tgz $(BIN_DIST))
++
++.PHONY: test
++test:
++	$(MAKE) -C test_dev test
++	$(MAKE) -C test test_mlkit
++	$(MAKE) -C test test_mlkit_no_gc
++	$(MAKE) -C test/explicit_regions all
++	$(MAKE) -C test/parallelism all
diff --git a/lang/mlkit/files/patch-Makefiledefault b/lang/mlkit/files/patch-Makefiledefault
new file mode 100644
index 000000000000..6c9fe0a71c82
--- /dev/null
+++ b/lang/mlkit/files/patch-Makefiledefault
@@ -0,0 +1,11 @@
+--- Makefiledefault.orig	2023-03-02 09:01:41 UTC
++++ Makefiledefault
+@@ -1,7 +1,7 @@
+ ifeq ($(MLCOMP)x,x)
+ #MLCOMP=mlton @MLton ram-slop 0.7 -- -disable-pass deepFlatten -disable-pass refFlatten
+ #MLCOMP=mlton @MLton ram-slop 0.7 -- -disable-pass deepFlatten -disable-pass refFlatten
+-MLCOMP=mlton @MLton ram-slop 0.7 -- -drop-pass deepFlatten -drop-pass refFlatten
++MLCOMP=mlton @MLton fixed-heap 4G -- -drop-pass deepFlatten -drop-pass refFlatten
+ #mlton @MLton ram-slop 0.7 gc-summary -- -drop-pass deepFlatten -verbose 3
+ endif
+ 
diff --git a/lang/mlkit/files/patch-src_Runtime_Spawn.c b/lang/mlkit/files/patch-src_Runtime_Spawn.c
new file mode 100644
index 000000000000..d456af9fc561
--- /dev/null
+++ b/lang/mlkit/files/patch-src_Runtime_Spawn.c
@@ -0,0 +1,24 @@
+--- src/Runtime/Spawn.c.orig	2023-03-02 09:01:41 UTC
++++ src/Runtime/Spawn.c
+@@ -16,6 +16,8 @@
+ // For getting cpu usage of threads
+ // #include <mach/mach.h>
+ // #include <sys/resource.h>
++#elif defined(__FreeBSD__)
++#include <sys/sysctl.h>
+ #elif defined(__linux__)
+ #include <sys/sysinfo.h>
+ // #include <sys/resource.h>
+@@ -503,6 +505,12 @@ numCores(void) {
+   }
+ #elif defined(__linux__)
+   ncores = get_nprocs();
++#elif defined(__FreeBSD__)
++  size_t ncores_size = sizeof(ncores);
++  if (sysctlbyname("hw.ncpu", &ncores, &ncores_size, NULL, 0) != 0) {
++    fprintf(stderr, "sysctlbyname (hw.ncpu) failed.");
++    ncores = -1;
++  }
+ #else
+   fprintf(stderr, "operating system not recognised\n");
+   ncores = -1;
diff --git a/lang/mlkit/files/patch-src_Runtime_gen__syserror.c b/lang/mlkit/files/patch-src_Runtime_gen__syserror.c
new file mode 100644
index 000000000000..021ad8b61b21
--- /dev/null
+++ b/lang/mlkit/files/patch-src_Runtime_gen__syserror.c
@@ -0,0 +1,27 @@
+--- src/Runtime/gen_syserror.c.orig	2022-12-22 15:04:04 UTC
++++ src/Runtime/gen_syserror.c
+@@ -48,7 +48,6 @@ struct syserr_entry srcErr[] = {
+   {"ENETUNREACH",ENETUNREACH},
+   {"ENFILE",ENFILE},
+   {"ENOBUFS",ENOBUFS},
+-  {"ENODATA",ENODATA},
+   {"ENODEV",ENODEV},
+   {"ENOENT",ENOENT},
+   {"ENOEXEC",ENOEXEC},
+@@ -58,8 +57,6 @@ struct syserr_entry srcErr[] = {
+   {"ENOMSG",ENOMSG},
+   {"ENOPROTOOPT",ENOPROTOOPT},
+   {"ENOSPC",ENOSPC},
+-  {"ENOSR",ENOSR},
+-  {"ENOSTR",ENOSTR},
+   {"ENOSYS", ENOSYS},
+   {"ENOTCONN",ENOTCONN},
+   {"ENOTDIR",ENOTDIR},
+@@ -80,7 +77,6 @@ struct syserr_entry srcErr[] = {
+   {"ESPIPE",ESPIPE},
+   {"ESRCH",ESRCH},
+   {"ESTALE",ESTALE},
+-  {"ETIME",ETIME},
+   {"ETIMEDOUT",ETIMEDOUT},
+   {"ETXTBSY",ETXTBSY},
+   {"EWOULDBLOCK",EWOULDBLOCK},
diff --git a/lang/mlkit/files/patch-test_all.tst b/lang/mlkit/files/patch-test_all.tst
new file mode 100644
index 000000000000..0bbc889d9b61
--- /dev/null
+++ b/lang/mlkit/files/patch-test_all.tst
@@ -0,0 +1,11 @@
+--- test/all.tst.orig	2023-05-14 20:38:13 UTC
++++ test/all.tst
+@@ -32,7 +32,7 @@ valrecpat1.sml
+ valrecpat2.sml
+ valrecpat3.sml
+ valrecpat4.sml
+-posix.sml
++(* posix.sml *)
+ unbox.sml
+ rank.sml            ccl       ecte    nobasislib
+ pat.sml             ccl
diff --git a/lang/mlkit/files/patch-test_posix.sml b/lang/mlkit/files/patch-test_posix.sml
new file mode 100644
index 000000000000..0e617f60c940
--- /dev/null
+++ b/lang/mlkit/files/patch-test_posix.sml
@@ -0,0 +1,10 @@
+--- test/posix.sml.orig	2023-04-26 17:24:37 UTC
++++ test/posix.sml
+@@ -48,6 +48,6 @@ fun lookup s a =
+ val _ = tst' "Posix.uname" (fn () =>
+ 			       let val a = Posix.ProcEnv.uname()
+ 			       in case lookup "sysname" a of
+-				      SOME s => s = "Linux" orelse s = "Darwin"
++				      SOME s => s = "Linux" orelse s = "Darwin" orelse s = "FreeBSD"
+ 				    | NONE => false
+ 			       end)
diff --git a/lang/mlkit/pkg-descr b/lang/mlkit/pkg-descr
new file mode 100644
index 000000000000..7dc42a1371a4
--- /dev/null
+++ b/lang/mlkit/pkg-descr
@@ -0,0 +1,9 @@
+The MLKit is a compiler toolkit for the Standard ML language, including
+The MLKit with Regions, which features a native backend for
+the x64 architecture, based on region inference, and SMLtoJs,
+which features a JavaScript backend targeting web browsers.
+The two compilers share the same frontend and compilation management scheme.
+
+The MLKit covers all of Standard ML, as defined in the 1997 edition of
+The Definition of Standard ML and supports most of
+the Standard ML Basis Library.
diff --git a/lang/mlkit/pkg-plist b/lang/mlkit/pkg-plist
new file mode 100644
index 000000000000..02d3ba6837c6
--- /dev/null
+++ b/lang/mlkit/pkg-plist
@@ -0,0 +1,3579 @@
+%%TEST%%bin/kittester
+bin/mlkit
+bin/mlkit-mllex
+bin/mlkit-mlyacc
+bin/rp2ps
+%%ETCDIR%%/mlb-path-map
+lib/mlkit/basis/ARRAY.sig
+lib/mlkit/basis/ARRAY2.sig
+lib/mlkit/basis/ARRAYSORT.sig
+lib/mlkit/basis/ARRAY_SLICE.sml
+lib/mlkit/basis/Array.sml
+lib/mlkit/basis/Array2.sml
+lib/mlkit/basis/ArraySlice.sml
+lib/mlkit/basis/Arraysort.sml
+lib/mlkit/basis/BINARYMAP.sig
+lib/mlkit/basis/BINARYSET.sig
+lib/mlkit/basis/BIN_IO.sml
+lib/mlkit/basis/BIT_FLAGS.sml
+lib/mlkit/basis/BOOL.sig
+lib/mlkit/basis/BYTE.sig
+lib/mlkit/basis/BinIO.sml
+lib/mlkit/basis/Binarymap.sml
+lib/mlkit/basis/Binaryset.sml
+lib/mlkit/basis/BitFlags.sml
+lib/mlkit/basis/Bool.sml
+lib/mlkit/basis/Byte.sml
+lib/mlkit/basis/ByteSlice.sml
+lib/mlkit/basis/ByteTable-1997.sml
+lib/mlkit/basis/ByteTable.sml
+lib/mlkit/basis/CHAR.sig
+lib/mlkit/basis/COMMAND_LINE.sml
+lib/mlkit/basis/Char.sml
+lib/mlkit/basis/CommandLine.sml
+lib/mlkit/basis/DATE.sig
+lib/mlkit/basis/DYNLIB.sig
+lib/mlkit/basis/Date.sml
+lib/mlkit/basis/Dynlib.sml
+lib/mlkit/basis/FORK_JOIN.sig
+lib/mlkit/basis/FileSys-1997.sml
+lib/mlkit/basis/FileSys.sml
+lib/mlkit/basis/ForkJoin.sml
+lib/mlkit/basis/ForkJoinSeq.sml
+lib/mlkit/basis/GENERAL.sig
+lib/mlkit/basis/GENERIC_SOCK.sml
+lib/mlkit/basis/General.sml
+lib/mlkit/basis/INET_SOCK.sig
+lib/mlkit/basis/INTEGER.sml
+lib/mlkit/basis/INTMAP.sig
+lib/mlkit/basis/INTSET.sig
+lib/mlkit/basis/INT_INF.sml
+lib/mlkit/basis/INT_INF_REP.sml
+lib/mlkit/basis/IO.sml
+lib/mlkit/basis/Initial.sml
+lib/mlkit/basis/Initial2.sml
+lib/mlkit/basis/Int.sml
+lib/mlkit/basis/Int31.sml
+lib/mlkit/basis/Int32.sml
+lib/mlkit/basis/Int63.sml
+lib/mlkit/basis/Int64.sml
+lib/mlkit/basis/IntInf.sml
+lib/mlkit/basis/IntInfRep.sml
+lib/mlkit/basis/Intmap.sml
+lib/mlkit/basis/Intset.sml
+lib/mlkit/basis/LIST.sig
+lib/mlkit/basis/LISTSORT.sig
+lib/mlkit/basis/LIST_PAIR.sml
+lib/mlkit/basis/List.sml
+lib/mlkit/basis/ListPair.sml
+lib/mlkit/basis/Listsort.sml
+lib/mlkit/basis/MATH.sig
+lib/mlkit/basis/MD5.sig
+lib/mlkit/basis/MLB/RI/ARRAY.sig.d
+lib/mlkit/basis/MLB/RI/ARRAY.sig.o.eb
+lib/mlkit/basis/MLB/RI/ARRAY.sig.o.eb1
+lib/mlkit/basis/MLB/RI/ARRAY.sig.o.lnk
+lib/mlkit/basis/MLB/RI/ARRAY2.sig.d
+lib/mlkit/basis/MLB/RI/ARRAY2.sig.o.eb
+lib/mlkit/basis/MLB/RI/ARRAY2.sig.o.eb1
+lib/mlkit/basis/MLB/RI/ARRAY2.sig.o.lnk
+lib/mlkit/basis/MLB/RI/ARRAY_SLICE.sml.d
+lib/mlkit/basis/MLB/RI/ARRAY_SLICE.sml.o.eb
+lib/mlkit/basis/MLB/RI/ARRAY_SLICE.sml.o.eb1
+lib/mlkit/basis/MLB/RI/ARRAY_SLICE.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Array.sml.code3.o
+lib/mlkit/basis/MLB/RI/Array.sml.d
+lib/mlkit/basis/MLB/RI/Array.sml.o.eb
+lib/mlkit/basis/MLB/RI/Array.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Array.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Array2.sml.d
+lib/mlkit/basis/MLB/RI/Array2.sml.o
+lib/mlkit/basis/MLB/RI/Array2.sml.o.eb
+lib/mlkit/basis/MLB/RI/Array2.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Array2.sml.o.lnk
+lib/mlkit/basis/MLB/RI/ArraySlice.sml.code1.o
+lib/mlkit/basis/MLB/RI/ArraySlice.sml.code3.o
+lib/mlkit/basis/MLB/RI/ArraySlice.sml.d
+lib/mlkit/basis/MLB/RI/ArraySlice.sml.o.eb
+lib/mlkit/basis/MLB/RI/ArraySlice.sml.o.eb1
+lib/mlkit/basis/MLB/RI/ArraySlice.sml.o.lnk
+lib/mlkit/basis/MLB/RI/BIT_FLAGS.sml.d
+lib/mlkit/basis/MLB/RI/BIT_FLAGS.sml.o.eb
+lib/mlkit/basis/MLB/RI/BIT_FLAGS.sml.o.eb1
+lib/mlkit/basis/MLB/RI/BIT_FLAGS.sml.o.lnk
+lib/mlkit/basis/MLB/RI/BOOL.sig.d
+lib/mlkit/basis/MLB/RI/BOOL.sig.o.eb
+lib/mlkit/basis/MLB/RI/BOOL.sig.o.eb1
+lib/mlkit/basis/MLB/RI/BOOL.sig.o.lnk
+lib/mlkit/basis/MLB/RI/BYTE.sig.d
+lib/mlkit/basis/MLB/RI/BYTE.sig.o.eb
+lib/mlkit/basis/MLB/RI/BYTE.sig.o.eb1
+lib/mlkit/basis/MLB/RI/BYTE.sig.o.lnk
+lib/mlkit/basis/MLB/RI/BitFlags.sml.d
+lib/mlkit/basis/MLB/RI/BitFlags.sml.o.eb
+lib/mlkit/basis/MLB/RI/BitFlags.sml.o.eb1
+lib/mlkit/basis/MLB/RI/BitFlags.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Bool.sml.d
+lib/mlkit/basis/MLB/RI/Bool.sml.o
+lib/mlkit/basis/MLB/RI/Bool.sml.o.eb
+lib/mlkit/basis/MLB/RI/Bool.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Bool.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Byte.sml.d
+lib/mlkit/basis/MLB/RI/Byte.sml.o
+lib/mlkit/basis/MLB/RI/Byte.sml.o.eb
+lib/mlkit/basis/MLB/RI/Byte.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Byte.sml.o.lnk
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code1.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code10.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code12.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code3.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code4.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code6.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code7.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.code9.o
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.d
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.o.eb
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.o.eb1
+lib/mlkit/basis/MLB/RI/ByteSlice.sml.o.lnk
+lib/mlkit/basis/MLB/RI/ByteTable.sml.code10.o
+lib/mlkit/basis/MLB/RI/ByteTable.sml.code11.o
+lib/mlkit/basis/MLB/RI/ByteTable.sml.code14.o
+lib/mlkit/basis/MLB/RI/ByteTable.sml.code3.o
+lib/mlkit/basis/MLB/RI/ByteTable.sml.code4.o
+lib/mlkit/basis/MLB/RI/ByteTable.sml.code7.o
+lib/mlkit/basis/MLB/RI/ByteTable.sml.d
+lib/mlkit/basis/MLB/RI/ByteTable.sml.o.eb
+lib/mlkit/basis/MLB/RI/ByteTable.sml.o.eb1
+lib/mlkit/basis/MLB/RI/ByteTable.sml.o.lnk
+lib/mlkit/basis/MLB/RI/CHAR.sig.d
+lib/mlkit/basis/MLB/RI/CHAR.sig.o.eb
+lib/mlkit/basis/MLB/RI/CHAR.sig.o.eb1
+lib/mlkit/basis/MLB/RI/CHAR.sig.o.lnk
+lib/mlkit/basis/MLB/RI/COMMAND_LINE.sml.d
+lib/mlkit/basis/MLB/RI/COMMAND_LINE.sml.o.eb
+lib/mlkit/basis/MLB/RI/COMMAND_LINE.sml.o.eb1
+lib/mlkit/basis/MLB/RI/COMMAND_LINE.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Char.sml.d
+lib/mlkit/basis/MLB/RI/Char.sml.o
+lib/mlkit/basis/MLB/RI/Char.sml.o.eb
+lib/mlkit/basis/MLB/RI/Char.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Char.sml.o.lnk
+lib/mlkit/basis/MLB/RI/CommandLine.sml.d
+lib/mlkit/basis/MLB/RI/CommandLine.sml.o
+lib/mlkit/basis/MLB/RI/CommandLine.sml.o.eb
+lib/mlkit/basis/MLB/RI/CommandLine.sml.o.eb1
+lib/mlkit/basis/MLB/RI/CommandLine.sml.o.lnk
+lib/mlkit/basis/MLB/RI/DATE.sig.d
+lib/mlkit/basis/MLB/RI/DATE.sig.o.eb
+lib/mlkit/basis/MLB/RI/DATE.sig.o.eb1
+lib/mlkit/basis/MLB/RI/DATE.sig.o.lnk
+lib/mlkit/basis/MLB/RI/Date.sml.d
+lib/mlkit/basis/MLB/RI/Date.sml.o
+lib/mlkit/basis/MLB/RI/Date.sml.o.eb
+lib/mlkit/basis/MLB/RI/Date.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Date.sml.o.lnk
+lib/mlkit/basis/MLB/RI/FileSys.sml.d
+lib/mlkit/basis/MLB/RI/FileSys.sml.o
+lib/mlkit/basis/MLB/RI/FileSys.sml.o.eb
+lib/mlkit/basis/MLB/RI/FileSys.sml.o.eb1
+lib/mlkit/basis/MLB/RI/FileSys.sml.o.lnk
+lib/mlkit/basis/MLB/RI/GENERAL.sig.d
+lib/mlkit/basis/MLB/RI/GENERAL.sig.o.eb
+lib/mlkit/basis/MLB/RI/GENERAL.sig.o.eb1
+lib/mlkit/basis/MLB/RI/GENERAL.sig.o.lnk
+lib/mlkit/basis/MLB/RI/General.sml.d
+lib/mlkit/basis/MLB/RI/General.sml.o
+lib/mlkit/basis/MLB/RI/General.sml.o.eb
+lib/mlkit/basis/MLB/RI/General.sml.o.eb1
+lib/mlkit/basis/MLB/RI/General.sml.o.lnk
+lib/mlkit/basis/MLB/RI/INET_SOCK.sig.d
+lib/mlkit/basis/MLB/RI/INET_SOCK.sig.o.eb
+lib/mlkit/basis/MLB/RI/INET_SOCK.sig.o.eb1
+lib/mlkit/basis/MLB/RI/INET_SOCK.sig.o.lnk
+lib/mlkit/basis/MLB/RI/INTEGER.sml.d
+lib/mlkit/basis/MLB/RI/INTEGER.sml.o.eb
+lib/mlkit/basis/MLB/RI/INTEGER.sml.o.eb1
+lib/mlkit/basis/MLB/RI/INTEGER.sml.o.lnk
+lib/mlkit/basis/MLB/RI/INT_INF.sml.d
+lib/mlkit/basis/MLB/RI/INT_INF.sml.o.eb
+lib/mlkit/basis/MLB/RI/INT_INF.sml.o.eb1
+lib/mlkit/basis/MLB/RI/INT_INF.sml.o.lnk
+lib/mlkit/basis/MLB/RI/INT_INF_REP.sml.d
+lib/mlkit/basis/MLB/RI/INT_INF_REP.sml.o.eb
+lib/mlkit/basis/MLB/RI/INT_INF_REP.sml.o.eb1
+lib/mlkit/basis/MLB/RI/INT_INF_REP.sml.o.lnk
+lib/mlkit/basis/MLB/RI/IO.sml.d
+lib/mlkit/basis/MLB/RI/IO.sml.o
+lib/mlkit/basis/MLB/RI/IO.sml.o.eb
+lib/mlkit/basis/MLB/RI/IO.sml.o.eb1
+lib/mlkit/basis/MLB/RI/IO.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Initial.sml.d
+lib/mlkit/basis/MLB/RI/Initial.sml.o
+lib/mlkit/basis/MLB/RI/Initial.sml.o.eb
+lib/mlkit/basis/MLB/RI/Initial.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Initial.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Initial2.sml.d
+lib/mlkit/basis/MLB/RI/Initial2.sml.o
+lib/mlkit/basis/MLB/RI/Initial2.sml.o.eb
+lib/mlkit/basis/MLB/RI/Initial2.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Initial2.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Int.sml.d
+lib/mlkit/basis/MLB/RI/Int.sml.o
+lib/mlkit/basis/MLB/RI/Int.sml.o.eb
+lib/mlkit/basis/MLB/RI/Int.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Int.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Int31.sml.d
+lib/mlkit/basis/MLB/RI/Int31.sml.o
+lib/mlkit/basis/MLB/RI/Int31.sml.o.eb
+lib/mlkit/basis/MLB/RI/Int31.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Int31.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Int32.sml.d
+lib/mlkit/basis/MLB/RI/Int32.sml.o
+lib/mlkit/basis/MLB/RI/Int32.sml.o.eb
+lib/mlkit/basis/MLB/RI/Int32.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Int32.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Int63.sml.d
+lib/mlkit/basis/MLB/RI/Int63.sml.o
+lib/mlkit/basis/MLB/RI/Int63.sml.o.eb
+lib/mlkit/basis/MLB/RI/Int63.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Int63.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Int64.sml.d
+lib/mlkit/basis/MLB/RI/Int64.sml.o
+lib/mlkit/basis/MLB/RI/Int64.sml.o.eb
+lib/mlkit/basis/MLB/RI/Int64.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Int64.sml.o.lnk
+lib/mlkit/basis/MLB/RI/IntInf.sml.d
+lib/mlkit/basis/MLB/RI/IntInf.sml.o
+lib/mlkit/basis/MLB/RI/IntInf.sml.o.eb
+lib/mlkit/basis/MLB/RI/IntInf.sml.o.eb1
+lib/mlkit/basis/MLB/RI/IntInf.sml.o.lnk
+lib/mlkit/basis/MLB/RI/IntInfRep.sml.d
+lib/mlkit/basis/MLB/RI/IntInfRep.sml.o
+lib/mlkit/basis/MLB/RI/IntInfRep.sml.o.eb
+lib/mlkit/basis/MLB/RI/IntInfRep.sml.o.eb1
+lib/mlkit/basis/MLB/RI/IntInfRep.sml.o.lnk
+lib/mlkit/basis/MLB/RI/LIST.sig.d
+lib/mlkit/basis/MLB/RI/LIST.sig.o.eb
+lib/mlkit/basis/MLB/RI/LIST.sig.o.eb1
+lib/mlkit/basis/MLB/RI/LIST.sig.o.lnk
+lib/mlkit/basis/MLB/RI/LIST_PAIR.sml.d
+lib/mlkit/basis/MLB/RI/LIST_PAIR.sml.o.eb
+lib/mlkit/basis/MLB/RI/LIST_PAIR.sml.o.eb1
+lib/mlkit/basis/MLB/RI/LIST_PAIR.sml.o.lnk
+lib/mlkit/basis/MLB/RI/List.sml.d
+lib/mlkit/basis/MLB/RI/List.sml.o
+lib/mlkit/basis/MLB/RI/List.sml.o.eb
+lib/mlkit/basis/MLB/RI/List.sml.o.eb1
+lib/mlkit/basis/MLB/RI/List.sml.o.lnk
+lib/mlkit/basis/MLB/RI/ListPair.sml.d
+lib/mlkit/basis/MLB/RI/ListPair.sml.o
+lib/mlkit/basis/MLB/RI/ListPair.sml.o.eb
+lib/mlkit/basis/MLB/RI/ListPair.sml.o.eb1
+lib/mlkit/basis/MLB/RI/ListPair.sml.o.lnk
+lib/mlkit/basis/MLB/RI/MATH.sig.d
+lib/mlkit/basis/MLB/RI/MATH.sig.o.eb
+lib/mlkit/basis/MLB/RI/MATH.sig.o.eb1
+lib/mlkit/basis/MLB/RI/MATH.sig.o.lnk
+lib/mlkit/basis/MLB/RI/MONO_ARRAY.sml.d
+lib/mlkit/basis/MLB/RI/MONO_ARRAY.sml.o.eb
+lib/mlkit/basis/MLB/RI/MONO_ARRAY.sml.o.eb1
+lib/mlkit/basis/MLB/RI/MONO_ARRAY.sml.o.lnk
+lib/mlkit/basis/MLB/RI/MONO_ARRAY2.sml.d
+lib/mlkit/basis/MLB/RI/MONO_ARRAY2.sml.o.eb
+lib/mlkit/basis/MLB/RI/MONO_ARRAY2.sml.o.eb1
+lib/mlkit/basis/MLB/RI/MONO_ARRAY2.sml.o.lnk
+lib/mlkit/basis/MLB/RI/MONO_ARRAY_SLICE.sml.d
+lib/mlkit/basis/MLB/RI/MONO_ARRAY_SLICE.sml.o.eb
+lib/mlkit/basis/MLB/RI/MONO_ARRAY_SLICE.sml.o.eb1
+lib/mlkit/basis/MLB/RI/MONO_ARRAY_SLICE.sml.o.lnk
+lib/mlkit/basis/MLB/RI/MONO_VECTOR.sml.d
+lib/mlkit/basis/MLB/RI/MONO_VECTOR.sml.o.eb
+lib/mlkit/basis/MLB/RI/MONO_VECTOR.sml.o.eb1
+lib/mlkit/basis/MLB/RI/MONO_VECTOR.sml.o.lnk
+lib/mlkit/basis/MLB/RI/MONO_VECTOR_SLICE.sml.d
+lib/mlkit/basis/MLB/RI/MONO_VECTOR_SLICE.sml.o.eb
+lib/mlkit/basis/MLB/RI/MONO_VECTOR_SLICE.sml.o.eb1
+lib/mlkit/basis/MLB/RI/MONO_VECTOR_SLICE.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Math.sml.d
+lib/mlkit/basis/MLB/RI/Math.sml.o
+lib/mlkit/basis/MLB/RI/Math.sml.o.eb
+lib/mlkit/basis/MLB/RI/Math.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Math.sml.o.lnk
+lib/mlkit/basis/MLB/RI/NET_HOST_DB.sig.d
+lib/mlkit/basis/MLB/RI/NET_HOST_DB.sig.o.eb
+lib/mlkit/basis/MLB/RI/NET_HOST_DB.sig.o.eb1
+lib/mlkit/basis/MLB/RI/NET_HOST_DB.sig.o.lnk
+lib/mlkit/basis/MLB/RI/NetHostDB.sml.d
+lib/mlkit/basis/MLB/RI/NetHostDB.sml.o
+lib/mlkit/basis/MLB/RI/NetHostDB.sml.o.eb
+lib/mlkit/basis/MLB/RI/NetHostDB.sml.o.eb1
+lib/mlkit/basis/MLB/RI/NetHostDB.sml.o.lnk
+lib/mlkit/basis/MLB/RI/OPTION.sig.d
+lib/mlkit/basis/MLB/RI/OPTION.sig.o.eb
+lib/mlkit/basis/MLB/RI/OPTION.sig.o.eb1
+lib/mlkit/basis/MLB/RI/OPTION.sig.o.lnk
+lib/mlkit/basis/MLB/RI/OS.sml.d
+lib/mlkit/basis/MLB/RI/OS.sml.o
+lib/mlkit/basis/MLB/RI/OS.sml.o.eb
+lib/mlkit/basis/MLB/RI/OS.sml.o.eb1
+lib/mlkit/basis/MLB/RI/OS.sml.o.lnk
+lib/mlkit/basis/MLB/RI/OSError.sml.d
+lib/mlkit/basis/MLB/RI/OSError.sml.o
+lib/mlkit/basis/MLB/RI/OSError.sml.o.eb
+lib/mlkit/basis/MLB/RI/OSError.sml.o.eb1
+lib/mlkit/basis/MLB/RI/OSError.sml.o.lnk
+lib/mlkit/basis/MLB/RI/OS_FILE_SYS.sml.d
+lib/mlkit/basis/MLB/RI/OS_FILE_SYS.sml.o.eb
+lib/mlkit/basis/MLB/RI/OS_FILE_SYS.sml.o.eb1
+lib/mlkit/basis/MLB/RI/OS_FILE_SYS.sml.o.lnk
+lib/mlkit/basis/MLB/RI/OS_IO.sml.d
+lib/mlkit/basis/MLB/RI/OS_IO.sml.o.eb
+lib/mlkit/basis/MLB/RI/OS_IO.sml.o.eb1
+lib/mlkit/basis/MLB/RI/OS_IO.sml.o.lnk
+lib/mlkit/basis/MLB/RI/OS_PATH.sml.d
+lib/mlkit/basis/MLB/RI/OS_PATH.sml.o.eb
+lib/mlkit/basis/MLB/RI/OS_PATH.sml.o.eb1
+lib/mlkit/basis/MLB/RI/OS_PATH.sml.o.lnk
+lib/mlkit/basis/MLB/RI/OS_PROCESS.sml.d
+lib/mlkit/basis/MLB/RI/OS_PROCESS.sml.o.eb
+lib/mlkit/basis/MLB/RI/OS_PROCESS.sml.o.eb1
+lib/mlkit/basis/MLB/RI/OS_PROCESS.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Option.sml.d
+lib/mlkit/basis/MLB/RI/Option.sml.o
+lib/mlkit/basis/MLB/RI/Option.sml.o.eb
+lib/mlkit/basis/MLB/RI/Option.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Option.sml.o.lnk
+lib/mlkit/basis/MLB/RI/PACK_REAL.sml.d
+lib/mlkit/basis/MLB/RI/PACK_REAL.sml.o.eb
+lib/mlkit/basis/MLB/RI/PACK_REAL.sml.o.eb1
+lib/mlkit/basis/MLB/RI/PACK_REAL.sml.o.lnk
+lib/mlkit/basis/MLB/RI/PACK_WORD.sml.d
+lib/mlkit/basis/MLB/RI/PACK_WORD.sml.o.eb
+lib/mlkit/basis/MLB/RI/PACK_WORD.sml.o.eb1
+lib/mlkit/basis/MLB/RI/PACK_WORD.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX.sig.d
+lib/mlkit/basis/MLB/RI/POSIX.sig.o.eb
+lib/mlkit/basis/MLB/RI/POSIX.sig.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX.sig.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_ERROR.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_ERROR.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_ERROR.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_ERROR.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_FILE_SYS.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_FILE_SYS.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_FILE_SYS.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_FILE_SYS.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_IO.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_IO.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_IO.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_IO.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_PROCENV.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_PROCENV.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_PROCENV.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_PROCENV.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_PROCESS.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_PROCESS.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_PROCESS.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_PROCESS.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_SIGNAL.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_SIGNAL.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_SIGNAL.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_SIGNAL.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_SYS_DB.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_SYS_DB.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_SYS_DB.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_SYS_DB.sml.o.lnk
+lib/mlkit/basis/MLB/RI/POSIX_TTY.sml.d
+lib/mlkit/basis/MLB/RI/POSIX_TTY.sml.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_TTY.sml.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_TTY.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Pack32Big.sml.d
+lib/mlkit/basis/MLB/RI/Pack32Big.sml.o
+lib/mlkit/basis/MLB/RI/Pack32Big.sml.o.eb
+lib/mlkit/basis/MLB/RI/Pack32Big.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Pack32Big.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Pack32Little.sml.d
+lib/mlkit/basis/MLB/RI/Pack32Little.sml.o
+lib/mlkit/basis/MLB/RI/Pack32Little.sml.o.eb
+lib/mlkit/basis/MLB/RI/Pack32Little.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Pack32Little.sml.o.lnk
+lib/mlkit/basis/MLB/RI/PackRealBig.sml.d
+lib/mlkit/basis/MLB/RI/PackRealBig.sml.o
+lib/mlkit/basis/MLB/RI/PackRealBig.sml.o.eb
+lib/mlkit/basis/MLB/RI/PackRealBig.sml.o.eb1
+lib/mlkit/basis/MLB/RI/PackRealBig.sml.o.lnk
+lib/mlkit/basis/MLB/RI/PackRealLittle.sml.d
+lib/mlkit/basis/MLB/RI/PackRealLittle.sml.o
+lib/mlkit/basis/MLB/RI/PackRealLittle.sml.o.eb
+lib/mlkit/basis/MLB/RI/PackRealLittle.sml.o.eb1
+lib/mlkit/basis/MLB/RI/PackRealLittle.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Path.sml.d
+lib/mlkit/basis/MLB/RI/Path.sml.o
+lib/mlkit/basis/MLB/RI/Path.sml.o.eb
+lib/mlkit/basis/MLB/RI/Path.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Path.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Posix.sml.code1.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code10.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code13.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code16.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code18.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code19.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code2.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code20.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code21.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code22.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code23.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code24.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code25.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code4.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code6.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code7.o
+lib/mlkit/basis/MLB/RI/Posix.sml.code8.o
+lib/mlkit/basis/MLB/RI/Posix.sml.d
+lib/mlkit/basis/MLB/RI/Posix.sml.o.eb
+lib/mlkit/basis/MLB/RI/Posix.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Posix.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Process.sml.d
+lib/mlkit/basis/MLB/RI/Process.sml.o
+lib/mlkit/basis/MLB/RI/Process.sml.o.eb
+lib/mlkit/basis/MLB/RI/Process.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Process.sml.o.lnk
+lib/mlkit/basis/MLB/RI/RANDOM.sig.d
+lib/mlkit/basis/MLB/RI/RANDOM.sig.o.eb
+lib/mlkit/basis/MLB/RI/RANDOM.sig.o.eb1
+lib/mlkit/basis/MLB/RI/RANDOM.sig.o.lnk
+lib/mlkit/basis/MLB/RI/REAL.sig.d
+lib/mlkit/basis/MLB/RI/REAL.sig.o.eb
+lib/mlkit/basis/MLB/RI/REAL.sig.o.eb1
+lib/mlkit/basis/MLB/RI/REAL.sig.o.lnk
+lib/mlkit/basis/MLB/RI/Random.sml.d
+lib/mlkit/basis/MLB/RI/Random.sml.o
+lib/mlkit/basis/MLB/RI/Random.sml.o.eb
+lib/mlkit/basis/MLB/RI/Random.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Random.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Real.sml.d
+lib/mlkit/basis/MLB/RI/Real.sml.o
+lib/mlkit/basis/MLB/RI/Real.sml.o.eb
+lib/mlkit/basis/MLB/RI/Real.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Real.sml.o.lnk
+lib/mlkit/basis/MLB/RI/RealArray2.sml.d
+lib/mlkit/basis/MLB/RI/RealArray2.sml.o
+lib/mlkit/basis/MLB/RI/RealArray2.sml.o.eb
+lib/mlkit/basis/MLB/RI/RealArray2.sml.o.eb1
+lib/mlkit/basis/MLB/RI/RealArray2.sml.o.lnk
+lib/mlkit/basis/MLB/RI/RealArrayVector.sml.d
+lib/mlkit/basis/MLB/RI/RealArrayVector.sml.o
+lib/mlkit/basis/MLB/RI/RealArrayVector.sml.o.eb
+lib/mlkit/basis/MLB/RI/RealArrayVector.sml.o.eb1
+lib/mlkit/basis/MLB/RI/RealArrayVector.sml.o.lnk
+lib/mlkit/basis/MLB/RI/RealTable.sml.d
+lib/mlkit/basis/MLB/RI/RealTable.sml.o
+lib/mlkit/basis/MLB/RI/RealTable.sml.o.eb
+lib/mlkit/basis/MLB/RI/RealTable.sml.o.eb1
+lib/mlkit/basis/MLB/RI/RealTable.sml.o.lnk
+lib/mlkit/basis/MLB/RI/SOCKET.sig.d
+lib/mlkit/basis/MLB/RI/SOCKET.sig.o.eb
+lib/mlkit/basis/MLB/RI/SOCKET.sig.o.eb1
+lib/mlkit/basis/MLB/RI/SOCKET.sig.o.lnk
+lib/mlkit/basis/MLB/RI/STRING.sig.d
+lib/mlkit/basis/MLB/RI/STRING.sig.o.eb
+lib/mlkit/basis/MLB/RI/STRING.sig.o.eb1
+lib/mlkit/basis/MLB/RI/STRING.sig.o.lnk
+lib/mlkit/basis/MLB/RI/STRING_CVT.sml.d
+lib/mlkit/basis/MLB/RI/STRING_CVT.sml.o.eb
+lib/mlkit/basis/MLB/RI/STRING_CVT.sml.o.eb1
+lib/mlkit/basis/MLB/RI/STRING_CVT.sml.o.lnk
+lib/mlkit/basis/MLB/RI/STR_BASE.sml.d
+lib/mlkit/basis/MLB/RI/STR_BASE.sml.o.eb
+lib/mlkit/basis/MLB/RI/STR_BASE.sml.o.eb1
+lib/mlkit/basis/MLB/RI/STR_BASE.sml.o.lnk
+lib/mlkit/basis/MLB/RI/SUBSTRING.sig.d
+lib/mlkit/basis/MLB/RI/SUBSTRING.sig.o.eb
+lib/mlkit/basis/MLB/RI/SUBSTRING.sig.o.eb1
+lib/mlkit/basis/MLB/RI/SUBSTRING.sig.o.lnk
+lib/mlkit/basis/MLB/RI/Socket.sml.d
+lib/mlkit/basis/MLB/RI/Socket.sml.o
+lib/mlkit/basis/MLB/RI/Socket.sml.o.eb
+lib/mlkit/basis/MLB/RI/Socket.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Socket.sml.o.lnk
+lib/mlkit/basis/MLB/RI/StrBase.sml.d
+lib/mlkit/basis/MLB/RI/StrBase.sml.o
+lib/mlkit/basis/MLB/RI/StrBase.sml.o.eb
+lib/mlkit/basis/MLB/RI/StrBase.sml.o.eb1
+lib/mlkit/basis/MLB/RI/StrBase.sml.o.lnk
+lib/mlkit/basis/MLB/RI/String.sml.d
+lib/mlkit/basis/MLB/RI/String.sml.o
+lib/mlkit/basis/MLB/RI/String.sml.o.eb
+lib/mlkit/basis/MLB/RI/String.sml.o.eb1
+lib/mlkit/basis/MLB/RI/String.sml.o.lnk
+lib/mlkit/basis/MLB/RI/StringCvt.sml.d
+lib/mlkit/basis/MLB/RI/StringCvt.sml.o
+lib/mlkit/basis/MLB/RI/StringCvt.sml.o.eb
+lib/mlkit/basis/MLB/RI/StringCvt.sml.o.eb1
+lib/mlkit/basis/MLB/RI/StringCvt.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Substring.sml.d
+lib/mlkit/basis/MLB/RI/Substring.sml.o
+lib/mlkit/basis/MLB/RI/Substring.sml.o.eb
+lib/mlkit/basis/MLB/RI/Substring.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Substring.sml.o.lnk
+lib/mlkit/basis/MLB/RI/TEXT.sig.d
+lib/mlkit/basis/MLB/RI/TEXT.sig.o.eb
+lib/mlkit/basis/MLB/RI/TEXT.sig.o.eb1
+lib/mlkit/basis/MLB/RI/TEXT.sig.o.lnk
+lib/mlkit/basis/MLB/RI/TIME.sig.d
+lib/mlkit/basis/MLB/RI/TIME.sig.o.eb
+lib/mlkit/basis/MLB/RI/TIME.sig.o.eb1
+lib/mlkit/basis/MLB/RI/TIME.sig.o.lnk
+lib/mlkit/basis/MLB/RI/TIMER.sig.d
+lib/mlkit/basis/MLB/RI/TIMER.sig.o.eb
+lib/mlkit/basis/MLB/RI/TIMER.sig.o.eb1
+lib/mlkit/basis/MLB/RI/TIMER.sig.o.lnk
+lib/mlkit/basis/MLB/RI/TableSlice.sml.d
+lib/mlkit/basis/MLB/RI/TableSlice.sml.o.eb
+lib/mlkit/basis/MLB/RI/TableSlice.sml.o.eb1
+lib/mlkit/basis/MLB/RI/TableSlice.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Text.sml.d
+lib/mlkit/basis/MLB/RI/Text.sml.o.eb
+lib/mlkit/basis/MLB/RI/Text.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Text.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Time.sml.d
+lib/mlkit/basis/MLB/RI/Time.sml.o
+lib/mlkit/basis/MLB/RI/Time.sml.o.eb
+lib/mlkit/basis/MLB/RI/Time.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Time.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Timer.sml.d
+lib/mlkit/basis/MLB/RI/Timer.sml.o
+lib/mlkit/basis/MLB/RI/Timer.sml.o.eb
+lib/mlkit/basis/MLB/RI/Timer.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Timer.sml.o.lnk
+lib/mlkit/basis/MLB/RI/UNIX.sig.d
+lib/mlkit/basis/MLB/RI/UNIX.sig.o.eb
+lib/mlkit/basis/MLB/RI/UNIX.sig.o.eb1
+lib/mlkit/basis/MLB/RI/UNIX.sig.o.lnk
+lib/mlkit/basis/MLB/RI/Unix.sml.d
+lib/mlkit/basis/MLB/RI/Unix.sml.o
+lib/mlkit/basis/MLB/RI/Unix.sml.o.eb
+lib/mlkit/basis/MLB/RI/Unix.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Unix.sml.o.lnk
+lib/mlkit/basis/MLB/RI/VECTOR.sig.d
+lib/mlkit/basis/MLB/RI/VECTOR.sig.o.eb
+lib/mlkit/basis/MLB/RI/VECTOR.sig.o.eb1
+lib/mlkit/basis/MLB/RI/VECTOR.sig.o.lnk
+lib/mlkit/basis/MLB/RI/VECTOR_SLICE.sml.d
+lib/mlkit/basis/MLB/RI/VECTOR_SLICE.sml.o.eb
+lib/mlkit/basis/MLB/RI/VECTOR_SLICE.sml.o.eb1
+lib/mlkit/basis/MLB/RI/VECTOR_SLICE.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Vector.sml.code3.o
+lib/mlkit/basis/MLB/RI/Vector.sml.code4.o
+lib/mlkit/basis/MLB/RI/Vector.sml.d
+lib/mlkit/basis/MLB/RI/Vector.sml.o
+lib/mlkit/basis/MLB/RI/Vector.sml.o.eb
+lib/mlkit/basis/MLB/RI/Vector.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Vector.sml.o.lnk
+lib/mlkit/basis/MLB/RI/VectorSlice.sml.code1.o
+lib/mlkit/basis/MLB/RI/VectorSlice.sml.code3.o
+lib/mlkit/basis/MLB/RI/VectorSlice.sml.d
+lib/mlkit/basis/MLB/RI/VectorSlice.sml.o.eb
+lib/mlkit/basis/MLB/RI/VectorSlice.sml.o.eb1
+lib/mlkit/basis/MLB/RI/VectorSlice.sml.o.lnk
+lib/mlkit/basis/MLB/RI/WORD.sig.d
+lib/mlkit/basis/MLB/RI/WORD.sig.o.eb
+lib/mlkit/basis/MLB/RI/WORD.sig.o.eb1
+lib/mlkit/basis/MLB/RI/WORD.sig.o.lnk
+lib/mlkit/basis/MLB/RI/Word.sml.d
+lib/mlkit/basis/MLB/RI/Word.sml.o
+lib/mlkit/basis/MLB/RI/Word.sml.o.eb
+lib/mlkit/basis/MLB/RI/Word.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Word.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Word16.sml.code1.o
+lib/mlkit/basis/MLB/RI/Word16.sml.code2.o
+lib/mlkit/basis/MLB/RI/Word16.sml.d
+lib/mlkit/basis/MLB/RI/Word16.sml.o.eb
+lib/mlkit/basis/MLB/RI/Word16.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Word16.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Word31.sml.d
+lib/mlkit/basis/MLB/RI/Word31.sml.o
+lib/mlkit/basis/MLB/RI/Word31.sml.o.eb
+lib/mlkit/basis/MLB/RI/Word31.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Word31.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Word32.sml.d
+lib/mlkit/basis/MLB/RI/Word32.sml.o
+lib/mlkit/basis/MLB/RI/Word32.sml.o.eb
+lib/mlkit/basis/MLB/RI/Word32.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Word32.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Word63.sml.d
+lib/mlkit/basis/MLB/RI/Word63.sml.o
+lib/mlkit/basis/MLB/RI/Word63.sml.o.eb
+lib/mlkit/basis/MLB/RI/Word63.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Word63.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Word64.sml.d
+lib/mlkit/basis/MLB/RI/Word64.sml.o
+lib/mlkit/basis/MLB/RI/Word64.sml.o.eb
+lib/mlkit/basis/MLB/RI/Word64.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Word64.sml.o.lnk
+lib/mlkit/basis/MLB/RI/Word8.sml.d
+lib/mlkit/basis/MLB/RI/Word8.sml.o
+lib/mlkit/basis/MLB/RI/Word8.sml.o.eb
+lib/mlkit/basis/MLB/RI/Word8.sml.o.eb1
+lib/mlkit/basis/MLB/RI/Word8.sml.o.lnk
+lib/mlkit/basis/MLB/RI/WordN.sml.d
+lib/mlkit/basis/MLB/RI/WordN.sml.o.eb
+lib/mlkit/basis/MLB/RI/WordN.sml.o.eb1
+lib/mlkit/basis/MLB/RI/WordN.sml.o.lnk
+lib/mlkit/basis/MLB/RI/wordtables.sml.d
+lib/mlkit/basis/MLB/RI/wordtables.sml.o.eb
+lib/mlkit/basis/MLB/RI/wordtables.sml.o.eb1
+lib/mlkit/basis/MLB/RI/wordtables.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/ARRAY.sig.d
+lib/mlkit/basis/MLB/RI_GC/ARRAY.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC/ARRAY.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC/ARRAY.sig.o.lnk
+lib/mlkit/basis/MLB/RI_GC/ARRAY2.sig.d
+lib/mlkit/basis/MLB/RI_GC/ARRAY2.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC/ARRAY2.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC/ARRAY2.sig.o.lnk
+lib/mlkit/basis/MLB/RI_GC/ARRAY_SLICE.sml.d
+lib/mlkit/basis/MLB/RI_GC/ARRAY_SLICE.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/ARRAY_SLICE.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/ARRAY_SLICE.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/Array.sml.code3.o
+lib/mlkit/basis/MLB/RI_GC/Array.sml.d
+lib/mlkit/basis/MLB/RI_GC/Array.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/Array.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/Array.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/Array2.sml.d
+lib/mlkit/basis/MLB/RI_GC/Array2.sml.o
+lib/mlkit/basis/MLB/RI_GC/Array2.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/Array2.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/Array2.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/ArraySlice.sml.code1.o
+lib/mlkit/basis/MLB/RI_GC/ArraySlice.sml.code3.o
+lib/mlkit/basis/MLB/RI_GC/ArraySlice.sml.d
+lib/mlkit/basis/MLB/RI_GC/ArraySlice.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/ArraySlice.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/ArraySlice.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/BIT_FLAGS.sml.d
+lib/mlkit/basis/MLB/RI_GC/BIT_FLAGS.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/BIT_FLAGS.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/BIT_FLAGS.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/BOOL.sig.d
+lib/mlkit/basis/MLB/RI_GC/BOOL.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC/BOOL.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC/BOOL.sig.o.lnk
+lib/mlkit/basis/MLB/RI_GC/BYTE.sig.d
+lib/mlkit/basis/MLB/RI_GC/BYTE.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC/BYTE.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC/BYTE.sig.o.lnk
+lib/mlkit/basis/MLB/RI_GC/BitFlags.sml.d
+lib/mlkit/basis/MLB/RI_GC/BitFlags.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/BitFlags.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/BitFlags.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/Bool.sml.d
+lib/mlkit/basis/MLB/RI_GC/Bool.sml.o
+lib/mlkit/basis/MLB/RI_GC/Bool.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/Bool.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/Bool.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/Byte.sml.d
+lib/mlkit/basis/MLB/RI_GC/Byte.sml.o
+lib/mlkit/basis/MLB/RI_GC/Byte.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/Byte.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/Byte.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code1.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code10.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code12.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code3.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code4.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code6.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code7.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.code9.o
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.d
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/ByteSlice.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.code10.o
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.code11.o
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.code14.o
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.code3.o
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.code4.o
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.code7.o
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.d
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/ByteTable.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/CHAR.sig.d
+lib/mlkit/basis/MLB/RI_GC/CHAR.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC/CHAR.sig.o.eb1
*** 2874 LINES SKIPPED ***