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
This commit is contained in:
Serpent7776 2023-10-24 18:59:57 +02:00 committed by Robert Clausecker
parent 0c83a22a96
commit 42cf474b14
7 changed files with 93 additions and 107 deletions

View file

@ -1,6 +1,6 @@
PORTNAME= mlkit
DISTVERSIONPREFIX= v
DISTVERSION= 4.7.3
DISTVERSION= 4.7.5
CATEGORIES= lang
MAINTAINER= serpent7776@gmail.com

View file

@ -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

View file

@ -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

View file

@ -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;

View file

@ -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},

View file

@ -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)

View file

@ -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