From 8d7ba8c2e400cd6a4ca329e00e018561b7f2b677 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Tempel?= Date: Thu, 25 Oct 2018 11:29:42 +0200 Subject: testing/polyml: new aport --- testing/polyml/APKBUILD | 46 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 testing/polyml/APKBUILD (limited to 'testing') diff --git a/testing/polyml/APKBUILD b/testing/polyml/APKBUILD new file mode 100644 index 0000000000..1cf2f05513 --- /dev/null +++ b/testing/polyml/APKBUILD @@ -0,0 +1,46 @@ +# Contributor: Sören Tempel +# 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" -- cgit v1.2.3