polyml: update to 5.8.2.
This commit is contained in:
parent
bf59ccc6b2
commit
dbe255bd15
|
@ -1,9 +1,9 @@
|
|||
# Template file for 'polyml'
|
||||
pkgname=polyml
|
||||
version=5.8.1
|
||||
version=5.8.2
|
||||
revision=1
|
||||
build_style=gnu-configure
|
||||
configure_args="--with-system-libffi --enable-shared"
|
||||
configure_args="--enable-shared"
|
||||
case "$XBPS_TARGET_MACHINE" in
|
||||
i686-musl|x86_64-musl)
|
||||
# musl doesn't allow writing to .rodata and .text during
|
||||
|
@ -14,14 +14,14 @@ case "$XBPS_TARGET_MACHINE" in
|
|||
i686*|x86_64*) ;;
|
||||
*) configure_args+=" --disable-native-codegeneration" ;;
|
||||
esac
|
||||
makedepends="gmp-devel libffi-devel"
|
||||
makedepends="gmp-devel"
|
||||
conflicts="mesa-demos>=0" # /usr/bin/poly
|
||||
short_desc="The Poly/ML Standard ML (SML) implementation"
|
||||
maintainer="Leah Neukirchen <leah@vuxu.org>"
|
||||
license="LGPL-2.1"
|
||||
homepage="http://www.polyml.org/"
|
||||
distfiles="https://github.com/${pkgname}/${pkgname}/archive/v${version}.tar.gz"
|
||||
checksum=fa0507b44470b4e07a061ef6a8896efe42710d8436e15721d743572ad2f7753b
|
||||
checksum=310b0ba748a50f38e99de7f65ba990bc4b4f4b0123ad76aba4c44d7cd1ed9277
|
||||
nocross=yes
|
||||
|
||||
# broken on musl ppc and big endian ppc
|
||||
|
|
Loading…
Reference in New Issue