aboutsummaryrefslogtreecommitdiffstats
path: root/testing/polyml/APKBUILD
diff options
context:
space:
mode:
authorSören Tempel <soeren+git@soeren-tempel.net>2018-10-25 11:29:42 +0200
committerSören Tempel <soeren+git@soeren-tempel.net>2018-10-25 18:01:07 +0200
commit8d7ba8c2e400cd6a4ca329e00e018561b7f2b677 (patch)
treebab25ec529af2a2c5bbc82ebc840f0d3ab32b1da /testing/polyml/APKBUILD
parente0faa716b40daed3ab56f2da3493d17e8d000cc4 (diff)
downloadaports-8d7ba8c2e400cd6a4ca329e00e018561b7f2b677.tar.gz
aports-8d7ba8c2e400cd6a4ca329e00e018561b7f2b677.tar.bz2
aports-8d7ba8c2e400cd6a4ca329e00e018561b7f2b677.tar.xz
testing/polyml: new aport
Diffstat (limited to 'testing/polyml/APKBUILD')
-rw-r--r--testing/polyml/APKBUILD46
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"