mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-01-20 08:02:26 +01:00
47 lines
1.2 KiB
Plaintext
47 lines
1.2 KiB
Plaintext
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
# Maintainer:
|
|
pkgname=polyml
|
|
pkgver=5.7.1
|
|
pkgrel=0
|
|
pkgdesc="ML97 compatible Standard ML implementation"
|
|
url="https://www.polyml.org/"
|
|
arch="all"
|
|
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"
|
|
|
|
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="0b597f2fc9a68b764d4621e4e6b9c69083181bdfae66f53d0033bfc9661b9c42d252a42a72123245e8a55176a673d5343d6dd7936ae806d330b5e2b81f35e4d6 polyml-5.7.1.tar.gz"
|