mlton: update to 20241230.
This commit is contained in:
parent
2be5d868dd
commit
d78f72c9bf
6 changed files with 4 additions and 176 deletions
|
@ -1,48 +0,0 @@
|
|||
--- 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;" >> $@
|
|
@ -1,60 +0,0 @@
|
|||
--- /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")"
|
|
@ -1,20 +0,0 @@
|
|||
--- 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
|
|
@ -1,19 +0,0 @@
|
|||
--- 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' | \
|
|
@ -1,10 +0,0 @@
|
|||
--- 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
|
|
@ -1,32 +1,17 @@
|
|||
# Template file for 'mlton'
|
||||
pkgname=mlton
|
||||
version=20210117
|
||||
version=20241230
|
||||
revision=1
|
||||
build_style=gnu-makefile
|
||||
make_build_target=bootstrap-polyml
|
||||
hostmakedepends="polyml tar"
|
||||
makedepends="gmp-devel"
|
||||
depends="bash gcc gmp-devel"
|
||||
depends="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"
|
||||
distfiles="https://github.com/MLton/mlton/releases/download/on-${version}-release/mlton-${version}.src.tgz"
|
||||
checksum=cd170218f67b76c3fcb4d487ba8841518babcebb41e4702074668e61156ca6f6
|
||||
nocross=yes
|
||||
disable_parallel_build=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
Add a link
Reference in a new issue