diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-10-25 11:29:42 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-10-25 18:01:07 +0200 |
| commit | 8d7ba8c2e400cd6a4ca329e00e018561b7f2b677 (patch) | |
| tree | bab25ec529af2a2c5bbc82ebc840f0d3ab32b1da /testing | |
| parent | e0faa716b40daed3ab56f2da3493d17e8d000cc4 (diff) | |
| download | aports-8d7ba8c2e400cd6a4ca329e00e018561b7f2b677.tar.bz2 aports-8d7ba8c2e400cd6a4ca329e00e018561b7f2b677.tar.xz | |
testing/polyml: new aport
Diffstat (limited to 'testing')
| -rw-r--r-- | testing/polyml/APKBUILD | 46 |
1 files changed, 46 insertions, 0 deletions
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 <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" |