From nobody Fri Oct 27 06:34:08 2023 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4SGtDK1hZVz4xrJy; Fri, 27 Oct 2023 06:34:09 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4SGtDJ4kn3z3Kym; Fri, 27 Oct 2023 06:34:08 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1698388448; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ruXJjUBQg8U/xjwYzQiR0yJT5CWSxUqagCqbURAXUks=; b=gUy0EgZv2B0yH0bCS8KBUUp/jUKzgvP6IIpe0zYBa/RGY873Y70Z6POhtbjPgDwsefUcl8 c1IJ4Ce438MlPjWOZZm1CKGFy3l+zLfXi0+pJuvEmME/1//DU98JTAqhzvJJZkDcEe+Ypb XVEwnDYDYJkprhjEU1dgV6YobOvbXYxdR1nHsgGZ5CaaKpTvScN85IE7w2vjSu5LNTeVSW PTwXIO99nNKnnS8HkXQIehgXvrAuIMs6BiN2QbrXrT+vKfpFWIeAoYmxDQWqrE1OAUjDNR VBJTX1XFtoxLNbTGEAOv++ASxs9aT/mhX7valur6HMzIp6zQ+HNqb0pFbkpK9Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1698388448; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ruXJjUBQg8U/xjwYzQiR0yJT5CWSxUqagCqbURAXUks=; b=mGKUQ84nlqaEepTWPN6oCwdk21PqQFtQFUsUHBVO4RQZtXQjq/jXB0homjRgRgpjPbV4mz Jxtwj69KYZotZcPabpwpq8JDHG9hkUl1MoFLlqL1CahmqQ+4gq1x5pzZkjRaXEa2LokjdQ KxT1WI5+QImfNXcC/B/8CoaDPj0PhkkS1RVbNJe+MtJJDfz/7yJXhAMwcV4ef8GLJh0dIf iO0MAJDEkiJWsMZXuMksfU50mLGjrLb6hjOt9vBbKwEivAGweKoDp1RYXa9RttL6WPcmwy 6hprN4cFAYv+TYgGj/dqFXPChWtru4wdzvRqkBP/0xJElF0gyrtmtFJW/Q05SQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1698388448; a=rsa-sha256; cv=none; b=YdcmKHjc9icEpctOoQ702mfjmew4Ouj9qKc6UoFVOujyz6BU9e4/5kTIVpH7xbPVmJF6s2 YfhFPSrJRAuEzjp8y5rK6jMA2uqxPgA7D2W+irL+h9NRR8o/cFH/8HTGyHIbC0R1Kji/nC rbxsk+kwshljbjt8dmTFPsNdpj51/dk4Qs64V0YDICPRAgzXwUtC5kM6Xz89dh6RbS5Q8U TepIqW9UZxj665FgshvAiKTWXWIdCTfHVm4Kryusn1zoyzU4xt+sQx2XwR24h7quuIXGWN B/kAFN810xH8nNbxQTEDOVru3MvSpjf9DrpR6XU+LJhTIsNFNHIAet4QPop+HQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4SGtDJ3bF2z1314; Fri, 27 Oct 2023 06:34:08 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 39R6Y82p089896; Fri, 27 Oct 2023 06:34:08 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 39R6Y8ox089893; Fri, 27 Oct 2023 06:34:08 GMT (envelope-from git) Date: Fri, 27 Oct 2023 06:34:08 GMT Message-Id: <202310270634.39R6Y8ox089893@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Robert Clausecker Subject: git: 42cf474b1455 - main - lang/mlkit: update to 4.7.5 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: fuz X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 42cf474b145530a5981291e8252eff1c18510717 Auto-Submitted: auto-generated The branch main has been updated by fuz: URL: https://cgit.FreeBSD.org/ports/commit/?id=42cf474b145530a5981291e8252eff1c18510717 commit 42cf474b145530a5981291e8252eff1c18510717 Author: Serpent7776 AuthorDate: 2023-10-24 16:59:57 +0000 Commit: Robert Clausecker 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 - // #include -+#elif defined(__FreeBSD__) -+#include - #elif defined(__linux__) - #include - // #include -@@ -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