blob: 5bd1708a8c77d4972f7416094d34d6b322ac76ec (
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.8
pkgrel=1
pkgdesc="ML97 compatible Standard ML implementation"
url="https://www.polyml.org/"
arch="all !aarch64 !ppc64le !s390x !mips !mips64"
license="LGPL-2.1-only"
makedepends="gmp-dev libffi-dev"
subpackages="$pkgname-dev $pkgname-doc"
source="$pkgname-$pkgver.tar.gz::https://github.com/polyml/polyml/archive/v$pkgver.tar.gz
fix-build-libffi-3.3.patch
"
# FIXME: https://github.com/polyml/polyml/issues/110
case "$CARCH" in
armhf|armv7) options="!check" ;;
esac
build() {
# 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() {
make check
}
package() {
make DESTDIR="$pkgdir" install
}
sha512sums="50baed79b50b14bd87acc637de93fd6d0f05e61fe0f03682a12a1d2c5f382313488d48f84b49ad915b01acc5a3a5769fb05fcaa7b24499c56402ddd3ba393930 polyml-5.8.tar.gz
cbd4d2ac5ec9bcbd5e68a5d73370f9ae539f185a1f62bfee54f43c062c77bece16f8f60758c72eb25a51be569bd800af230fd45a5ba5640abf79f7814b12d36e fix-build-libffi-3.3.patch"
|
