diff options
Diffstat (limited to 'user')
| -rw-r--r-- | user/glpk/APKBUILD | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/user/glpk/APKBUILD b/user/glpk/APKBUILD new file mode 100644 index 000000000..d3261d526 --- /dev/null +++ b/user/glpk/APKBUILD @@ -0,0 +1,32 @@ +# Contributor: Zach van Rijn <me@zv.io> +# Maintainer: Zach van Rijn <me@zv.io> +pkgname=glpk +pkgver=5.0 +pkgrel=0 +pkgdesc="Multiple-precision floating-point library" +url="https://www.gnu.org/software/glpk/" +arch="all" +license="GPL-3.0+" +depends="" +makedepends="gmp-dev" +subpackages="$pkgname-dev" +source="https://ftp.gnu.org/gnu/glpk/${pkgname}-${pkgver}.tar.gz" + +build() { + ./configure \ + --build=$CBUILD \ + --host=$CHOST \ + --prefix=/usr \ + --with-gmp + make +} + +check() { + make check +} + +package() { + make DESTDIR="$pkgdir" install +} + +sha512sums="4e92195fa058c707146f2690f3a38b46c33add948c852f67659ca005a6aa980bbf97be96528b0f8391690facb880ac2126cd60198c6c175e7f3f06cca7e29f9d glpk-5.0.tar.gz" |