2023-10-28 20:27:11 +02:00
|
|
|
# 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
|
2023-12-02 18:59:42 +01:00
|
|
|
disable_parallel_build=yes
|
2023-10-28 20:27:11 +02:00
|
|
|
|
|
|
|
|
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
|
