mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-05 06:33:50 +02:00
New package: mlton-20210117
This commit is contained in:
murray
Leah Neukirchen
parent
178fa4e7e8
commit
7c6d222e41
6 changed files with 188 additions and 0 deletions
48
srcpkgs/mlton/patches/20-polyml.patch
Normal file
48
srcpkgs/mlton/patches/20-polyml.patch
Normal file
|
|
@ -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;" >> $@
|
||||||
60
srcpkgs/mlton/patches/30-mlbdeps.patch
Normal file
60
srcpkgs/mlton/patches/30-mlbdeps.patch
Normal file
|
|
@ -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")"
|
||||||
20
srcpkgs/mlton/patches/40-mlton.patch
Normal file
20
srcpkgs/mlton/patches/40-mlton.patch
Normal file
|
|
@ -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
|
||||||
19
srcpkgs/mlton/patches/50-mlton-stubs.patch
Normal file
19
srcpkgs/mlton/patches/50-mlton-stubs.patch
Normal file
|
|
@ -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' | \
|
||||||
10
srcpkgs/mlton/patches/60-clean-polyml.patch
Normal file
10
srcpkgs/mlton/patches/60-clean-polyml.patch
Normal file
|
|
@ -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
|
||||||
31
srcpkgs/mlton/template
Normal file
31
srcpkgs/mlton/template
Normal file
|
|
@ -0,0 +1,31 @@
|
||||||
|
# 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
|
||||||
|
https://github.com/MLton/mlton/commit/f074a9a41b5338303271cd50f17078595fef35ff.patch>mllex.patch"
|
||||||
|
checksum="ec7a5a54deb39c7c0fa746d17767752154e9cb94dbcf3d15b795083b3f0f154b
|
||||||
|
da73a393384ac8e1094dc59b1a19cf73f506d0481354ced814cd894a83216272"
|
||||||
|
skip_extraction="mllex.patch"
|
||||||
|
nocross=yes
|
||||||
|
|
||||||
|
post_extract() {
|
||||||
|
cp "${XBPS_SRCDISTDIR}/${pkgname}-${version}/mllex.patch" .
|
||||||
|
}
|
||||||
|
|
||||||
|
pre_patch() {
|
||||||
|
patch -Np1 -i mllex.patch
|
||||||
|
}
|
||||||
|
|
||||||
|
case "$XBPS_TARGET_MACHINE" in
|
||||||
|
i686*) broken="The 2nd bootstrap mlton(built by the polyml-mlton) segfaults in parseAndElaborate" ;;
|
||||||
|
esac
|
||||||
Loading…
Add table
Reference in a new issue