mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-01-17 14:42:01 +01:00
52 lines
1.3 KiB
Plaintext
52 lines
1.3 KiB
Plaintext
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
# Maintainer:
|
|
pkgname=polyml
|
|
pkgver=5.8
|
|
pkgrel=0
|
|
pkgdesc="ML97 compatible Standard ML implementation"
|
|
url="https://www.polyml.org/"
|
|
arch="all !aarch64 !ppc64le !s390x"
|
|
license="LGPL-2.1-only"
|
|
depends=""
|
|
depends_dev=""
|
|
makedepends="$depends_dev gmp-dev libffi-dev"
|
|
install=""
|
|
subpackages="$pkgname-dev $pkgname-doc"
|
|
source="$pkgname-$pkgver.tar.gz::https://github.com/$pkgname/$pkgname/archive/v$pkgver.tar.gz"
|
|
builddir="$srcdir/$pkgname-$pkgver"
|
|
|
|
# FIXME: https://github.com/polyml/polyml/issues/110
|
|
case "$CARCH" in
|
|
armhf|armv7) options="!check" ;;
|
|
esac
|
|
|
|
build() {
|
|
cd "$builddir"
|
|
|
|
# Compiling poly as a dynamically linked position independent
|
|
# executable causes it to segfault. Since Alpine's GCC enables
|
|
# PIE by default we need to explicitly disable it.
|
|
CFLAGS="$CFLAGS -no-pie" ./configure \
|
|
--build=$CBUILD \
|
|
--host=$CHOST \
|
|
--prefix=/usr \
|
|
--sysconfdir=/etc \
|
|
--mandir=/usr/share/man \
|
|
--localstatedir=/var \
|
|
--with-system-libffi \
|
|
--with-gmp
|
|
make
|
|
}
|
|
|
|
check() {
|
|
cd "$builddir"
|
|
make check
|
|
}
|
|
|
|
package() {
|
|
cd "$builddir"
|
|
make DESTDIR="$pkgdir" install
|
|
}
|
|
|
|
sha512sums="50baed79b50b14bd87acc637de93fd6d0f05e61fe0f03682a12a1d2c5f382313488d48f84b49ad915b01acc5a3a5769fb05fcaa7b24499c56402ddd3ba393930 polyml-5.8.tar.gz"
|