From df8dea0e90123bdc2c2dc8b7e7956b57fbf55bb6 Mon Sep 17 00:00:00 2001
From: murray <murray.calavera@protonmail.com>
Date: Sat, 28 Oct 2023 19:27:11 +0100
Subject: [PATCH] New package: mlton-20210117

---
 srcpkgs/mlton/patches/20-polyml.patch       | 48 +++++++++++++++++
 srcpkgs/mlton/patches/30-mlbdeps.patch      | 60 +++++++++++++++++++++
 srcpkgs/mlton/patches/40-mlton.patch        | 20 +++++++
 srcpkgs/mlton/patches/50-mlton-stubs.patch  | 19 +++++++
 srcpkgs/mlton/patches/60-clean-polyml.patch | 10 ++++
 srcpkgs/mlton/template                      | 33 ++++++++++++
 6 files changed, 190 insertions(+)
 create mode 100644 srcpkgs/mlton/patches/20-polyml.patch
 create mode 100644 srcpkgs/mlton/patches/30-mlbdeps.patch
 create mode 100644 srcpkgs/mlton/patches/40-mlton.patch
 create mode 100644 srcpkgs/mlton/patches/50-mlton-stubs.patch
 create mode 100644 srcpkgs/mlton/patches/60-clean-polyml.patch
 create mode 100644 srcpkgs/mlton/template

diff --git a/srcpkgs/mlton/patches/20-polyml.patch b/srcpkgs/mlton/patches/20-polyml.patch
new file mode 100644
index 0000000000000..62ad34c342875
--- /dev/null
+++ b/srcpkgs/mlton/patches/20-polyml.patch
@@ -0,0 +1,48 @@
+--- a/mlton/Makefile
++++ b/mlton/Makefile
+@@ -187,31 +208,31 @@ smlnj-mlton: mlton-smlnj.cm control/version.sml $(FRONT_END_SOURCES)
+ # MLton.
+ #
+ POLYML := poly
++CAT := cat
+ 
+ .PHONY: polyml-mlton
+-polyml-mlton: mlton-polyml.use $(shell [ -e mlton-polyml.use ] && cat mlton-polyml.use | $(SED) 's/use "\(.*\)";/\1/') control/version.sml $(FRONT_END_SOURCES)
+-	(									\
+-		echo 'use "mlton-polyml.use";';					\
+-		echo 'PolyML.export("$(MLTON_OUTPUT)-polyml", Main.mainWrapped);'; \
+-	) | "$(POLYML)"
+-	$(CC) -o $(MLTON_OUTPUT)-polyml $(MLTON_OUTPUT)-polyml.o -lpolymain -lpolyml
+-	$(RM) $(MLTON_OUTPUT)-polyml.o
++polyml-mlton: $(MLTON_OUTPUT)-polyml
++
++$(MLTON_OUTPUT)-polyml: mlton-polyml.sml $(shell [ -e mlton-polyml.sml ] && $(CAT) mlton-polyml.sml | $(GREP) 'use ".*";' | $(SED) 's/use "\(.*\)";/\1/') control/version.sml $(FRONT_END_SOURCES)
++	polyc -o $@ mlton-polyml.sml
+ 
+-mlton-polyml.use: ../lib/stubs/basis-stubs-for-polyml/sources.use ../lib/stubs/mlton-stubs-for-polyml/sources.use $(shell "$(RUN_MLTON_DEPS)" -stop f ../lib/stubs/mlton-stubs/sources.mlb | $(GREP) 'mlb$$') $(shell "$(RUN_MLTON_DEPS)" -stop f mlton.mlb | $(GREP) 'mlb$$')
++mlton-polyml.sml: ../lib/stubs/basis-stubs-for-polyml/sources.use ../lib/stubs/mlton-stubs-for-polyml/sources.use $(shell "$(RUN_MLTON_DEPS)" -stop f ../lib/stubs/mlton-stubs/sources.mlb | $(GREP) 'mlb$$') $(shell "$(RUN_MLTON_DEPS)" -stop f mlton.mlb | $(GREP) 'mlb$$')
++	chmod +x $(SRC)/bin/mlbdeps
+ 	(									\
+-		cat ../lib/stubs/basis-stubs-for-polyml/sources.use |		\
++		$(CAT) ../lib/stubs/basis-stubs-for-polyml/sources.use |		\
+ 			$(SED) 's|use "\(.*\)";|../lib/stubs/basis-stubs-for-polyml/\1|'; \
+-		"$(RUN_MLTON)" -stop f mlton.mlb | $(GREP) -v 'mlb$$' | $(GREP) 'mlyacc'; \
+-		cat ../lib/stubs/mlton-stubs-for-polyml/sources.use |		\
++		$(SRC)/bin/mlbdeps mlton.mlb | $(GREP) -v 'mlb$$' | $(GREP) 'mlyacc'; \
++		$(CAT) ../lib/stubs/mlton-stubs-for-polyml/sources.use |		\
+ 			$(SED) 's|use "\(.*\)";|../lib/stubs/mlton-stubs-for-polyml/\1|'; \
+-		"$(RUN_MLTON)" -stop f ../lib/stubs/mlton-stubs/sources.mlb |	\
++		$(SRC)/bin/mlbdeps ../lib/stubs/mlton-stubs/sources.mlb |	\
+ 			$(GREP) -v 'mlb$$' |					\
+ 			$(GREP) 'mlton-stubs';					\
+-		"$(RUN_MLTON)" -stop f mlton.mlb |				\
++		$(SRC)/bin/mlbdeps mlton.mlb |				\
+ 			$(GREP) -v 'mlb$$' |					\
+ 			$(GREP) -v 'sml/basis' |				\
+ 			$(GREP) -v 'targets' |					\
+ 			$(GREP) -v 'mlton-stubs' |				\
+ 			$(GREP) -v 'mlyacc' |					\
+ 			$(GREP) -v 'call-main.sml';				\
+-	) | $(SED) 's|\(.*\)|use "\1";|' > mlton-polyml.use
++	) | $(SED) 's|\(.*\)|use "\1";|' > $@
++	echo "val main = Main.mainWrapped;" >> $@
diff --git a/srcpkgs/mlton/patches/30-mlbdeps.patch b/srcpkgs/mlton/patches/30-mlbdeps.patch
new file mode 100644
index 0000000000000..03a6ad7188d30
--- /dev/null
+++ b/srcpkgs/mlton/patches/30-mlbdeps.patch
@@ -0,0 +1,60 @@
+--- /dev/null
++++ b/bin/mlbdeps
+@@ -0,0 +1,57 @@
++#!/usr/bin/env bash
++
++set -e
++
++SED=${SED:-sed}
++
++name=$(basename "$0")
++
++function normalize_path () {
++    local path="$1"
++    local opath=""
++    while [ "$opath" != "$path" ]; do
++        opath="$path"
++        path="$(echo "$path" | ${SED} -e 's;^\./;;')"
++    done
++    local opath=""
++    while [ "$opath" != "$path" ]; do
++        opath="$path"
++        path="$(echo "$path" | ${SED} -e 's;/\./;/;')"
++    done
++    opath=""
++    while [ "$opath" != "$path" ]; do
++        opath="$path"
++        path="$(echo "$path" | ${SED} -e 's;[^/][^/]*/\.\./;;')"
++    done
++    path="$(echo "$path" | ${SED} -e 's;^\./;;')"
++    echo "$path"
++}
++
++declare -a seen
++
++function doit() {
++    local mlb="$1"
++    for s in "${seen[@]}"; do
++        if [ "$mlb" == "$s" ]; then
++            return 0
++        fi
++    done
++    seen+=("$mlb");
++    echo "$mlb"
++    if [ -e "$mlb" ]; then
++        local dir="$(dirname $mlb)"
++        for f in $(cat "$mlb" | ${SED} -n -e 's/^[ ]*\([^ ]*\.\(sml\|sig\|fun\|mlb\)\).*/\1/p'); do
++            case "$f" in
++                /*) ;;
++                \$\(*\)*) ;;
++                *) f="$(normalize_path "$dir"/"$f")" ;;
++            esac
++            case "$f" in
++                *.mlb) doit "$f";;
++                *) echo "$f";;
++            esac
++        done
++    fi
++}
++
++doit "$(normalize_path "$1")"
diff --git a/srcpkgs/mlton/patches/40-mlton.patch b/srcpkgs/mlton/patches/40-mlton.patch
new file mode 100644
index 0000000000000..0056419b29359
--- /dev/null
+++ b/srcpkgs/mlton/patches/40-mlton.patch
@@ -0,0 +1,20 @@
+--- a/Makefile
++++ b/Makefile
+@@ -308,7 +308,7 @@ smlnj-mlton-x16:
+ bootstrap-polyml:
+ 	$(MAKE) polyml-mlton
+ 	$(RM) "$(BIN)/$(MLTON)"
+-	$(MAKE) BOOTSTRAP_MLTON=$(MLTON).polyml all
++	$(MAKE) OLD_MLTON="$(BIN)/$(MLTON).polyml" all
+ 	$(RM) "$(LIB)/$(MLTON)-polyml$(EXE)"
+ 	$(RM) "$(BIN)/$(MLTON).polyml"
+ 
+@@ -317,7 +317,7 @@ polyml-mlton:
+ 	$(MAKE) dirs
+ 	$(MAKE) runtime
+ 	$(MAKE) -C "$(SRC)/mlton" polyml-mlton
+-	$(CP) "$(SRC)/mlton/mlton-polyml$(EXE)" "$(LIB)/"
++	$(CP) "$(SRC)/mlton/$(MLTON_OUTPUT)-polyml$(EXE)" "$(LIB)/"
+ 	$(MAKE) script
+ 	$(MAKE) basis-no-check
+ 	$(MAKE) libraries-no-check
diff --git a/srcpkgs/mlton/patches/50-mlton-stubs.patch b/srcpkgs/mlton/patches/50-mlton-stubs.patch
new file mode 100644
index 0000000000000..2100195398282
--- /dev/null
+++ b/srcpkgs/mlton/patches/50-mlton-stubs.patch
@@ -0,0 +1,19 @@
+--- a/mlton/Makefile
++++ b/mlton/Makefile
+@@ -136,13 +136,13 @@ mlton-stubs.mlb: $(shell "$(RUN_MLTON_DEPS)" -stop f ../lib/stubs/mlton-stubs/so
+ 		echo '$$(SML_LIB)/basis/sml-nj.mlb';				\
+ 		echo '$$(SML_LIB)/basis/mlton.mlb';				\
+ 		echo '$$(SML_LIB)/basis/basis.mlb';				\
+-		$(RUN_MLTON) -stop f mlton.mlb |				\
++		$(SRC)/bin/mlbdeps mlton.mlb |					\
+ 			$(GREP) -v 'mlb$$' |					\
+ 			$(GREP) 'mlyacc';					\
+-		$(RUN_MLTON) -stop f ../lib/stubs/mlton-stubs/sources.mlb |	\
++		$(SRC)/bin/mlbdeps ../lib/stubs/mlton-stubs/sources.mlb |	\
+ 			$(GREP) -v 'mlb$$' |					\
+ 			$(GREP) 'mlton-stubs';					\
+-		$(RUN_MLTON) -stop f mlton.mlb |				\
++		$(SRC)/bin/mlbdeps mlton.mlb |					\
+ 			$(GREP) -v 'mlb$$' |					\
+ 			$(GREP) -v 'sml/basis' |				\
+ 			$(GREP) -v 'targets' |					\
diff --git a/srcpkgs/mlton/patches/60-clean-polyml.patch b/srcpkgs/mlton/patches/60-clean-polyml.patch
new file mode 100644
index 0000000000000..8cd33967efa31
--- /dev/null
+++ b/srcpkgs/mlton/patches/60-clean-polyml.patch
@@ -0,0 +1,10 @@
+--- a/Makefile
++++ b/Makefile
+@@ -310,6 +310,7 @@ bootstrap-polyml:
+ 	$(RM) "$(BIN)/$(MLTON)"
+ 	$(MAKE) OLD_MLTON="$(BIN)/$(MLTON).polyml" all
+ 	$(RM) "$(LIB)/$(MLTON)-polyml$(EXE)"
++	$(RM) "$(LIB)/$(MLTON_OUTPUT)-polyml$(EXE)"
+ 	$(RM) "$(BIN)/$(MLTON).polyml"
+ 
+ .PHONY: polyml-mlton
diff --git a/srcpkgs/mlton/template b/srcpkgs/mlton/template
new file mode 100644
index 0000000000000..3a1ada259699b
--- /dev/null
+++ b/srcpkgs/mlton/template
@@ -0,0 +1,33 @@
+# Template file for 'mlton'
+pkgname=mlton
+version=20210117
+revision=1
+build_style=gnu-makefile
+make_build_target=bootstrap-polyml
+hostmakedepends="polyml tar"
+makedepends="gmp-devel"
+depends="bash gcc gmp-devel"
+short_desc="MLton Standard ML (SML) compiler"
+maintainer="ii8 <murray.calavera@protonmail.com>"
+license="HPND"
+homepage="http://mlton.org/"
+distfiles="https://github.com/MLton/mlton/releases/download/on-${version}-release/mlton-${version}.src.tgz"
+checksum=ec7a5a54deb39c7c0fa746d17767752154e9cb94dbcf3d15b795083b3f0f154b
+nocross=yes
+
+pre_patch() {
+	local commit chksum filesum
+	commit=f074a9a41b5338303271cd50f17078595fef35ff
+	chksum=da73a393384ac8e1094dc59b1a19cf73f506d0481354ced814cd894a83216272
+	"$XBPS_FETCH_CMD" "https://github.com/MLton/mlton/commit/${commit}.patch"
+	filesum=$("$XBPS_DIGEST_CMD" "${commit}.patch")
+	if [ "$chksum" != "$filesum" ]; then
+		echo
+		msg_error "SHA256 mismatch for '${commit}.patch':\n${filesum}\n"
+	fi
+	patch -Np1 -i "${commit}.patch"
+}
+
+case "$XBPS_TARGET_MACHINE" in
+	i686*) broken="The 2nd bootstrap mlton(built by the polyml-mlton) segfaults in parseAndElaborate" ;;
+esac