<pre style='margin:0'>
Herby Gillot (herbygillot) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/81ddab6707206f52cee8918bf476433c60e490bf">https://github.com/macports/macports-ports/commit/81ddab6707206f52cee8918bf476433c60e490bf</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 81ddab6707206f52cee8918bf476433c60e490bf
</span>Author: barracuda156 <vital.had@gmail.com>
AuthorDate: Fri Jul 21 23:07:34 2023 +0800
<span style='display:block; white-space:pre;color:#404040;'> mlton: new port in lang
</span>---
lang/mlton/Portfile | 55 +++++++++++
lang/mlton/files/patch-settings-for-Macports.diff | 114 ++++++++++++++++++++++
2 files changed, 169 insertions(+)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/mlton/Portfile b/lang/mlton/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..8a838cabb44
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/mlton/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,55 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup compiler_blacklist_versions 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup makefile 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup openssl 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup MLton mlton 63666ac8ab65da81b9ec9595e7053d26e0682f51
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 20230721
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision 0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories lang ml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers {@barracuda156 gmail.com:vital.had} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license HPND
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description Whole-program optimizing compiler for the SML
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description MLton is a whole-program optimizing compiler for the Standard ML programming language. \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GMP, and multiple code generation \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator and a profiler.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage http://www.mlton.org
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 2a9aa8ab74fe37f21b788f3fdca1799429ffd376 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 413ce924ba7040019d6967c7620bd7a542ff5a7790321c8f8b8b9f7e19e20f07 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 14374408
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:bash \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:git \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:grep \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:gsed \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:mlton-bootstrap \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:rsync
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append port:gmp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles-append patch-settings-for-Macports.diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-patch {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace "s,@CC@,${configure.cc}," ${worksrcpath}/Makefile.config ${worksrcpath}/bin/mlton-script
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace "s,@MLTON@,${prefix}/libexec/mlton-bootstrap/bin," ${worksrcpath}/Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace "s,@VERSION@,${version}," ${worksrcpath}/Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace "s,@PREFIX@,${prefix},g" ${worksrcpath}/Makefile.config ${worksrcpath}/bin/mlbdeps ${worksrcpath}/bin/mlton-script
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.env-append SH=${prefix}/bin/bash
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.c_standard 2011
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.blacklist-append {clang < 900}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace "s,${workpath}/compwrap/cc,," ${destroot}${prefix}/bin/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+universal_variant no
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/mlton/files/patch-settings-for-Macports.diff b/lang/mlton/files/patch-settings-for-Macports.diff
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..46a02d70823
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/mlton/files/patch-settings-for-Macports.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,114 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From 53d12fe9ff77fd96a8973e8ff459b498ba728f9b Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: barracuda156 <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jul 2023 13:35:34 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH 1/4] Amend Makefile.config for Macports
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git Makefile.config Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index bc2cb5eef..204751d77 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -22,7 +22,7 @@ WITH_GMP_LIB_DIR := $(WITH_GMP_DIR)/lib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Specify installation prefix and staged install destination.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-PREFIX := /usr/local
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++PREFIX := @PREFIX@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ DESTDIR :=
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Specify runtime and compile arguments given to (the to-be-built) `mlton`
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -41,7 +41,7 @@ OLD_MLTON := mlton
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ OLD_MLTON_RUNTIME_ARGS :=
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ OLD_MLTON_COMPILE_ARGS :=
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-OLD_MLTON_DIR :=
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++OLD_MLTON_DIR := @MLTON@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ifneq (,$(OLD_MLTON_DIR))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ OLD_MLTON := $(OLD_MLTON_DIR)/$(OLD_MLTON)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -50,12 +50,12 @@ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Can be used for alternative tools (e.g., `SED=gsed`).
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ DIFF := diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ FIND := find
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-GIT := git
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-GREP := grep
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++GIT := @PREFIX@/bin/git
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++GREP := @PREFIX@/bin/ggrep
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ GZIP := gzip
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ PATCH := patch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-RSYNC := rsync
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-SED := sed
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++RSYNC := @PREFIX@/bin/rsync
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++SED := @PREFIX@/bin/gsed
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ TAR := tar
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ SHA1SUM := sha1sum
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From 106fc161be1c269db996acd207296385dcee1be5 Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: barracuda156 <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jul 2023 13:37:14 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH 2/4] mlbdeps: amend for Macports
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git bin/mlbdeps bin/mlbdeps
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index ef75768d0..abb885507 100755
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- bin/mlbdeps
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ bin/mlbdeps
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -2,7 +2,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ set -e
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-SED=${SED:-sed}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++SED="@PREFIX@/bin/gsed"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ name=$(basename "$0")
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From afff371829a96a4dfaf796d044876a30a581440e Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: barracuda156 <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jul 2023 21:42:11 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH 3/4] Amend mlton-script for Macports
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git bin/mlton-script bin/mlton-script
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 7b1e76eaf..fa8c8e840 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- bin/mlton-script
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ bin/mlton-script
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -7,12 +7,12 @@ LIB_REL_BIN="../lib/mlton"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ EXE=
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-CC="cc"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++CC="@CC@"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # You may need to set 'GMP_INC_DIR' so the C compiler can find gmp.h.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-GMP_INC_DIR=
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++GMP_INC_DIR="@PREFIX@/include"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # You may need to set 'GMP_LIB_DIR' so the C compiler can find libgmp.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-GMP_LIB_DIR=
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++GMP_LIB_DIR="@PREFIX@/lib"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ set -e
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From 007c3ea9cd8b4e5ac46a333809ebf03abcc36b84 Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: barracuda156 <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jul 2023 22:55:53 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH 4/4] Add version
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+---
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ Makefile.config | 2 +-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 1 file changed, 1 insertion(+), 1 deletion(-)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git Makefile.config Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 204751d77..b714ebb4a 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ Makefile.config
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -85,7 +85,7 @@ MLTON := mlton-$(MLTON_FORK)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ MLTON_NAME := MLton [$(MLTON_FORK)]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ MLTON_OUTPUT := $(MLTON)-compile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-MLTON_VERSION := $(shell TZ=UTC $(GIT) log -n1 --date=format-local:"%Y%m%d.%H%M%S" --pretty=format:"%cd-g%h$$([ "$$($(GIT) status --porcelain 2> /dev/null)" ] && echo '-dirty')" 2> /dev/null || echo '????????')
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++MLTON_VERSION := "@VERSION@"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ######################################################################
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ######################################################################
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--
</span></pre><pre style='margin:0'>
</pre>