git: 42cf474b1455 - main - lang/mlkit: update to 4.7.5
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 27 Oct 2023 06:34:08 UTC
The branch main has been updated by fuz:
URL: https://cgit.FreeBSD.org/ports/commit/?id=42cf474b145530a5981291e8252eff1c18510717
commit 42cf474b145530a5981291e8252eff1c18510717
Author: Serpent7776 <serpent7776@gmail.com>
AuthorDate: 2023-10-24 16:59:57 +0000
Commit: Robert Clausecker <fuz@FreeBSD.org>
CommitDate: 2023-10-27 06:32:58 +0000
lang/mlkit: update to 4.7.5
Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md
- ReML released as part of the distribution
- Improved documentation of basis library
- Addition of IEEE_REAL signature and IEEEReal structure.
Improved Real support.
- Initial support for explicit region and effect annotations, including
constraints on function invocations. The modified source language,
which we call ReML (a Standard ML program is also a ReML program) is
enabled with the -er flag
- Generate position-independent machine code
PR: 274695
---
lang/mlkit/Makefile | 2 +-
lang/mlkit/distinfo | 6 +-
lang/mlkit/files/patch-Makefile.in | 23 -----
lang/mlkit/files/patch-src_Runtime_Spawn.c | 24 -----
lang/mlkit/files/patch-src_Runtime_gen__syserror.c | 27 ------
lang/mlkit/files/patch-test_posix.sml | 10 --
lang/mlkit/pkg-plist | 108 +++++++++++++++++----
7 files changed, 93 insertions(+), 107 deletions(-)
diff --git a/lang/mlkit/Makefile b/lang/mlkit/Makefile
index f545a97e3401..227ca6aa4f4b 100644
--- a/lang/mlkit/Makefile
+++ b/lang/mlkit/Makefile
@@ -1,6 +1,6 @@
PORTNAME= mlkit
DISTVERSIONPREFIX= v
-DISTVERSION= 4.7.3
+DISTVERSION= 4.7.5
CATEGORIES= lang
MAINTAINER= serpent7776@gmail.com
diff --git a/lang/mlkit/distinfo b/lang/mlkit/distinfo
index 454e08b854db..93580bf6fc1f 100644
--- a/lang/mlkit/distinfo
+++ b/lang/mlkit/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1684581749
-SHA256 (melsman-mlkit-v4.7.3_GH0.tar.gz) = 903cbda07290297e87c62cbdc99b38c281311887858ef07f2f71f71de8c8839a
-SIZE (melsman-mlkit-v4.7.3_GH0.tar.gz) = 5489866
+TIMESTAMP = 1697703110
+SHA256 (melsman-mlkit-v4.7.5_GH0.tar.gz) = 59ad0b34ba511b8fe10a83bb5dd92e76588b97e551071a61a9d76ad13a9934b8
+SIZE (melsman-mlkit-v4.7.5_GH0.tar.gz) = 5564921
diff --git a/lang/mlkit/files/patch-Makefile.in b/lang/mlkit/files/patch-Makefile.in
deleted file mode 100644
index 35962be31444..000000000000
--- a/lang/mlkit/files/patch-Makefile.in
+++ /dev/null
@@ -1,23 +0,0 @@
---- 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-src_Runtime_Spawn.c b/lang/mlkit/files/patch-src_Runtime_Spawn.c
deleted file mode 100644
index d456af9fc561..000000000000
--- a/lang/mlkit/files/patch-src_Runtime_Spawn.c
+++ /dev/null
@@ -1,24 +0,0 @@
---- 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
deleted file mode 100644
index 021ad8b61b21..000000000000
--- a/lang/mlkit/files/patch-src_Runtime_gen__syserror.c
+++ /dev/null
@@ -1,27 +0,0 @@
---- 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_posix.sml b/lang/mlkit/files/patch-test_posix.sml
deleted file mode 100644
index 0e617f60c940..000000000000
--- a/lang/mlkit/files/patch-test_posix.sml
+++ /dev/null
@@ -1,10 +0,0 @@
---- 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-plist b/lang/mlkit/pkg-plist
index 02d3ba6837c6..48e4bf52c5d7 100644
--- a/lang/mlkit/pkg-plist
+++ b/lang/mlkit/pkg-plist
@@ -2,6 +2,7 @@
bin/mlkit
bin/mlkit-mllex
bin/mlkit-mlyacc
+bin/reml
bin/rp2ps
%%ETCDIR%%/mlb-path-map
lib/mlkit/basis/ARRAY.sig
@@ -38,11 +39,14 @@ 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-reml.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/IEEEReal.sml
+lib/mlkit/basis/IEEE_REAL.sig
lib/mlkit/basis/INET_SOCK.sig
lib/mlkit/basis/INTEGER.sml
lib/mlkit/basis/INTMAP.sig
@@ -186,6 +190,15 @@ 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/IEEEReal.sml.d
+lib/mlkit/basis/MLB/RI/IEEEReal.sml.o
+lib/mlkit/basis/MLB/RI/IEEEReal.sml.o.eb
+lib/mlkit/basis/MLB/RI/IEEEReal.sml.o.eb1
+lib/mlkit/basis/MLB/RI/IEEEReal.sml.o.lnk
+lib/mlkit/basis/MLB/RI/IEEE_REAL.sig.d
+lib/mlkit/basis/MLB/RI/IEEE_REAL.sig.o.eb
+lib/mlkit/basis/MLB/RI/IEEE_REAL.sig.o.eb1
+lib/mlkit/basis/MLB/RI/IEEE_REAL.sig.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
@@ -367,14 +380,14 @@ 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_PROC_ENV.sig.d
+lib/mlkit/basis/MLB/RI/POSIX_PROC_ENV.sig.o.eb
+lib/mlkit/basis/MLB/RI/POSIX_PROC_ENV.sig.o.eb1
+lib/mlkit/basis/MLB/RI/POSIX_PROC_ENV.sig.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
@@ -741,6 +754,15 @@ lib/mlkit/basis/MLB/RI_GC/General.sml.o
lib/mlkit/basis/MLB/RI_GC/General.sml.o.eb
lib/mlkit/basis/MLB/RI_GC/General.sml.o.eb1
lib/mlkit/basis/MLB/RI_GC/General.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/IEEEReal.sml.d
+lib/mlkit/basis/MLB/RI_GC/IEEEReal.sml.o
+lib/mlkit/basis/MLB/RI_GC/IEEEReal.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC/IEEEReal.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC/IEEEReal.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/IEEE_REAL.sig.d
+lib/mlkit/basis/MLB/RI_GC/IEEE_REAL.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC/IEEE_REAL.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC/IEEE_REAL.sig.o.lnk
lib/mlkit/basis/MLB/RI_GC/INET_SOCK.sig.d
lib/mlkit/basis/MLB/RI_GC/INET_SOCK.sig.o.eb
lib/mlkit/basis/MLB/RI_GC/INET_SOCK.sig.o.eb1
@@ -922,14 +944,14 @@ lib/mlkit/basis/MLB/RI_GC/POSIX_IO.sml.d
lib/mlkit/basis/MLB/RI_GC/POSIX_IO.sml.o.eb
lib/mlkit/basis/MLB/RI_GC/POSIX_IO.sml.o.eb1
lib/mlkit/basis/MLB/RI_GC/POSIX_IO.sml.o.lnk
-lib/mlkit/basis/MLB/RI_GC/POSIX_PROCENV.sml.d
-lib/mlkit/basis/MLB/RI_GC/POSIX_PROCENV.sml.o.eb
-lib/mlkit/basis/MLB/RI_GC/POSIX_PROCENV.sml.o.eb1
-lib/mlkit/basis/MLB/RI_GC/POSIX_PROCENV.sml.o.lnk
lib/mlkit/basis/MLB/RI_GC/POSIX_PROCESS.sml.d
lib/mlkit/basis/MLB/RI_GC/POSIX_PROCESS.sml.o.eb
lib/mlkit/basis/MLB/RI_GC/POSIX_PROCESS.sml.o.eb1
lib/mlkit/basis/MLB/RI_GC/POSIX_PROCESS.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC/POSIX_PROC_ENV.sig.d
+lib/mlkit/basis/MLB/RI_GC/POSIX_PROC_ENV.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC/POSIX_PROC_ENV.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC/POSIX_PROC_ENV.sig.o.lnk
lib/mlkit/basis/MLB/RI_GC/POSIX_SIGNAL.sml.d
lib/mlkit/basis/MLB/RI_GC/POSIX_SIGNAL.sml.o.eb
lib/mlkit/basis/MLB/RI_GC/POSIX_SIGNAL.sml.o.eb1
@@ -1319,6 +1341,17 @@ lib/mlkit/basis/MLB/RI_GC_PROF/General.sml.o.eb
lib/mlkit/basis/MLB/RI_GC_PROF/General.sml.o.eb1
lib/mlkit/basis/MLB/RI_GC_PROF/General.sml.o.lnk
lib/mlkit/basis/MLB/RI_GC_PROF/General.sml.rev
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEEReal.sml.d
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEEReal.sml.o
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEEReal.sml.o.eb
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEEReal.sml.o.eb1
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEEReal.sml.o.lnk
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEEReal.sml.rev
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEE_REAL.sig.d
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEE_REAL.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEE_REAL.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEE_REAL.sig.o.lnk
+lib/mlkit/basis/MLB/RI_GC_PROF/IEEE_REAL.sig.rev
lib/mlkit/basis/MLB/RI_GC_PROF/INET_SOCK.sig.d
lib/mlkit/basis/MLB/RI_GC_PROF/INET_SOCK.sig.o.eb
lib/mlkit/basis/MLB/RI_GC_PROF/INET_SOCK.sig.o.eb1
@@ -1541,16 +1574,16 @@ lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_IO.sml.o.eb
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_IO.sml.o.eb1
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_IO.sml.o.lnk
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_IO.sml.rev
-lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCENV.sml.d
-lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCENV.sml.o.eb
-lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCENV.sml.o.eb1
-lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCENV.sml.o.lnk
-lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCENV.sml.rev
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCESS.sml.d
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCESS.sml.o.eb
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCESS.sml.o.eb1
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCESS.sml.o.lnk
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROCESS.sml.rev
+lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROC_ENV.sig.d
+lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROC_ENV.sig.o.eb
+lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROC_ENV.sig.o.eb1
+lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROC_ENV.sig.o.lnk
+lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_PROC_ENV.sig.rev
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_SIGNAL.sml.d
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_SIGNAL.sml.o.eb
lib/mlkit/basis/MLB/RI_GC_PROF/POSIX_SIGNAL.sml.o.eb1
@@ -1990,6 +2023,17 @@ lib/mlkit/basis/MLB/RI_PROF/General.sml.o.eb
lib/mlkit/basis/MLB/RI_PROF/General.sml.o.eb1
lib/mlkit/basis/MLB/RI_PROF/General.sml.o.lnk
lib/mlkit/basis/MLB/RI_PROF/General.sml.rev
+lib/mlkit/basis/MLB/RI_PROF/IEEEReal.sml.d
+lib/mlkit/basis/MLB/RI_PROF/IEEEReal.sml.o
+lib/mlkit/basis/MLB/RI_PROF/IEEEReal.sml.o.eb
+lib/mlkit/basis/MLB/RI_PROF/IEEEReal.sml.o.eb1
+lib/mlkit/basis/MLB/RI_PROF/IEEEReal.sml.o.lnk
+lib/mlkit/basis/MLB/RI_PROF/IEEEReal.sml.rev
+lib/mlkit/basis/MLB/RI_PROF/IEEE_REAL.sig.d
+lib/mlkit/basis/MLB/RI_PROF/IEEE_REAL.sig.o.eb
+lib/mlkit/basis/MLB/RI_PROF/IEEE_REAL.sig.o.eb1
+lib/mlkit/basis/MLB/RI_PROF/IEEE_REAL.sig.o.lnk
+lib/mlkit/basis/MLB/RI_PROF/IEEE_REAL.sig.rev
lib/mlkit/basis/MLB/RI_PROF/INET_SOCK.sig.d
lib/mlkit/basis/MLB/RI_PROF/INET_SOCK.sig.o.eb
lib/mlkit/basis/MLB/RI_PROF/INET_SOCK.sig.o.eb1
@@ -2212,16 +2256,16 @@ lib/mlkit/basis/MLB/RI_PROF/POSIX_IO.sml.o.eb
lib/mlkit/basis/MLB/RI_PROF/POSIX_IO.sml.o.eb1
lib/mlkit/basis/MLB/RI_PROF/POSIX_IO.sml.o.lnk
lib/mlkit/basis/MLB/RI_PROF/POSIX_IO.sml.rev
-lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCENV.sml.d
-lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCENV.sml.o.eb
-lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCENV.sml.o.eb1
-lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCENV.sml.o.lnk
-lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCENV.sml.rev
lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCESS.sml.d
lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCESS.sml.o.eb
lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCESS.sml.o.eb1
lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCESS.sml.o.lnk
lib/mlkit/basis/MLB/RI_PROF/POSIX_PROCESS.sml.rev
+lib/mlkit/basis/MLB/RI_PROF/POSIX_PROC_ENV.sig.d
+lib/mlkit/basis/MLB/RI_PROF/POSIX_PROC_ENV.sig.o.eb
+lib/mlkit/basis/MLB/RI_PROF/POSIX_PROC_ENV.sig.o.eb1
+lib/mlkit/basis/MLB/RI_PROF/POSIX_PROC_ENV.sig.o.lnk
+lib/mlkit/basis/MLB/RI_PROF/POSIX_PROC_ENV.sig.rev
lib/mlkit/basis/MLB/RI_PROF/POSIX_SIGNAL.sml.d
lib/mlkit/basis/MLB/RI_PROF/POSIX_SIGNAL.sml.o.eb
lib/mlkit/basis/MLB/RI_PROF/POSIX_SIGNAL.sml.o.eb1
@@ -2547,8 +2591,8 @@ lib/mlkit/basis/POSIX.sig
lib/mlkit/basis/POSIX_ERROR.sml
lib/mlkit/basis/POSIX_FILE_SYS.sml
lib/mlkit/basis/POSIX_IO.sml
-lib/mlkit/basis/POSIX_PROCENV.sml
lib/mlkit/basis/POSIX_PROCESS.sml
+lib/mlkit/basis/POSIX_PROC_ENV.sig
lib/mlkit/basis/POSIX_SIGNAL.sml
lib/mlkit/basis/POSIX_SYS_DB.sml
lib/mlkit/basis/POSIX_TTY.sml
@@ -2603,6 +2647,7 @@ lib/mlkit/basis/TableSlice.sml
lib/mlkit/basis/Text.sml
lib/mlkit/basis/TextIO-1997.sml
lib/mlkit/basis/TextIO.sml
+lib/mlkit/basis/Thread-reml.sml
lib/mlkit/basis/Thread.sml
lib/mlkit/basis/ThreadSeq.sml
lib/mlkit/basis/Time.sml
@@ -2667,6 +2712,10 @@ lib/mlkit/basis/io/MLB/RI/imperative-io.sml.d
lib/mlkit/basis/io/MLB/RI/imperative-io.sml.o.eb
lib/mlkit/basis/io/MLB/RI/imperative-io.sml.o.eb1
lib/mlkit/basis/io/MLB/RI/imperative-io.sml.o.lnk
+lib/mlkit/basis/io/MLB/RI/io-close.sml.d
+lib/mlkit/basis/io/MLB/RI/io-close.sml.o.eb
+lib/mlkit/basis/io/MLB/RI/io-close.sml.o.eb1
+lib/mlkit/basis/io/MLB/RI/io-close.sml.o.lnk
lib/mlkit/basis/io/MLB/RI/prim-io.sig.d
lib/mlkit/basis/io/MLB/RI/prim-io.sig.o.eb
lib/mlkit/basis/io/MLB/RI/prim-io.sig.o.eb1
@@ -2745,6 +2794,10 @@ lib/mlkit/basis/io/MLB/RI_GC/imperative-io.sml.d
lib/mlkit/basis/io/MLB/RI_GC/imperative-io.sml.o.eb
lib/mlkit/basis/io/MLB/RI_GC/imperative-io.sml.o.eb1
lib/mlkit/basis/io/MLB/RI_GC/imperative-io.sml.o.lnk
+lib/mlkit/basis/io/MLB/RI_GC/io-close.sml.d
+lib/mlkit/basis/io/MLB/RI_GC/io-close.sml.o.eb
+lib/mlkit/basis/io/MLB/RI_GC/io-close.sml.o.eb1
+lib/mlkit/basis/io/MLB/RI_GC/io-close.sml.o.lnk
lib/mlkit/basis/io/MLB/RI_GC/prim-io.sig.d
lib/mlkit/basis/io/MLB/RI_GC/prim-io.sig.o.eb
lib/mlkit/basis/io/MLB/RI_GC/prim-io.sig.o.eb1
@@ -2831,6 +2884,11 @@ lib/mlkit/basis/io/MLB/RI_GC_PROF/imperative-io.sml.o.eb
lib/mlkit/basis/io/MLB/RI_GC_PROF/imperative-io.sml.o.eb1
lib/mlkit/basis/io/MLB/RI_GC_PROF/imperative-io.sml.o.lnk
lib/mlkit/basis/io/MLB/RI_GC_PROF/imperative-io.sml.rev
+lib/mlkit/basis/io/MLB/RI_GC_PROF/io-close.sml.d
+lib/mlkit/basis/io/MLB/RI_GC_PROF/io-close.sml.o.eb
+lib/mlkit/basis/io/MLB/RI_GC_PROF/io-close.sml.o.eb1
+lib/mlkit/basis/io/MLB/RI_GC_PROF/io-close.sml.o.lnk
+lib/mlkit/basis/io/MLB/RI_GC_PROF/io-close.sml.rev
lib/mlkit/basis/io/MLB/RI_GC_PROF/prim-io.sig.d
lib/mlkit/basis/io/MLB/RI_GC_PROF/prim-io.sig.o.eb
lib/mlkit/basis/io/MLB/RI_GC_PROF/prim-io.sig.o.eb1
@@ -2925,6 +2983,11 @@ lib/mlkit/basis/io/MLB/RI_PROF/imperative-io.sml.o.eb
lib/mlkit/basis/io/MLB/RI_PROF/imperative-io.sml.o.eb1
lib/mlkit/basis/io/MLB/RI_PROF/imperative-io.sml.o.lnk
lib/mlkit/basis/io/MLB/RI_PROF/imperative-io.sml.rev
+lib/mlkit/basis/io/MLB/RI_PROF/io-close.sml.d
+lib/mlkit/basis/io/MLB/RI_PROF/io-close.sml.o.eb
+lib/mlkit/basis/io/MLB/RI_PROF/io-close.sml.o.eb1
+lib/mlkit/basis/io/MLB/RI_PROF/io-close.sml.o.lnk
+lib/mlkit/basis/io/MLB/RI_PROF/io-close.sml.rev
lib/mlkit/basis/io/MLB/RI_PROF/prim-io.sig.d
lib/mlkit/basis/io/MLB/RI_PROF/prim-io.sig.o.eb
lib/mlkit/basis/io/MLB/RI_PROF/prim-io.sig.o.eb1
@@ -2980,6 +3043,7 @@ lib/mlkit/basis/io/cleaner.sig
lib/mlkit/basis/io/cleaner.sml
lib/mlkit/basis/io/imperative-io.sig
lib/mlkit/basis/io/imperative-io.sml
+lib/mlkit/basis/io/io-close.sml
lib/mlkit/basis/io/io.sig
lib/mlkit/basis/io/io.sml
lib/mlkit/basis/io/prim-io.sig
@@ -2993,6 +3057,7 @@ lib/mlkit/basis/io/text-stream-io.sig
lib/mlkit/basis/kitlib.mlb
lib/mlkit/basis/listsort.mlb
lib/mlkit/basis/md5.mlb
+lib/mlkit/basis/par-reml.mlb
lib/mlkit/basis/par-seq.mlb
lib/mlkit/basis/par.mlb
lib/mlkit/basis/real64_blocks.mlb
@@ -3008,6 +3073,7 @@ lib/mlkit/lib/runtimeSystemProf.a
man/man1/mlkit-mllex.1.gz
man/man1/mlkit-mlyacc.1.gz
man/man1/mlkit.1.gz
+man/man1/reml.1.gz
man/man1/rp2ps.1.gz
%%DATADIR%%/include/CommandLine.h
%%DATADIR%%/include/Dlsym.h
@@ -3461,6 +3527,8 @@ man/man1/rp2ps.1.gz
%%TEST%%%%DATADIR%%/test/server.sml
%%TEST%%%%DATADIR%%/test/sharing.sml
%%TEST%%%%DATADIR%%/test/sharing.sml.log.ok
+%%TEST%%%%DATADIR%%/test/sigs-avail.sml
+%%TEST%%%%DATADIR%%/test/sigs-avail.sml.out.ok
%%TEST%%%%DATADIR%%/test/sigs.sml
%%TEST%%%%DATADIR%%/test/smith-normal-form.sml
%%TEST%%%%DATADIR%%/test/smith-normal-form_smlnj.sml
@@ -3475,6 +3543,8 @@ man/man1/rp2ps.1.gz
%%TEST%%%%DATADIR%%/test/stringcvt.sml.out.ok
%%TEST%%%%DATADIR%%/test/stringsz.sml
%%TEST%%%%DATADIR%%/test/stringsz.sml.out.ok
+%%TEST%%%%DATADIR%%/test/structs-avail.sml
+%%TEST%%%%DATADIR%%/test/structs-avail.sml.out.ok
%%TEST%%%%DATADIR%%/test/substring.sml
%%TEST%%%%DATADIR%%/test/substring.sml.out.ok
%%TEST%%%%DATADIR%%/test/switch.sml