blob: 1cf2f05513c0baaa356b662c321429d647955323 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
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"
|
