diff options
| author | Zach van Rijn <me@zv.io> | 2024-06-28 16:26:04 +0000 |
|---|---|---|
| committer | Zach van Rijn <me@zv.io> | 2024-10-24 15:31:56 +0000 |
| commit | 8c48e95727ada6e0a4cea2b8cd5192a6bc6929d4 (patch) | |
| tree | 3d50e44679943018ef20b104fc931a979e3ab489 /user | |
| parent | 475f50002e55c952e23b91d9abbaac396d476ad8 (diff) | |
| download | packages-8c48e95727ada6e0a4cea2b8cd5192a6bc6929d4.tar.gz packages-8c48e95727ada6e0a4cea2b8cd5192a6bc6929d4.tar.bz2 packages-8c48e95727ada6e0a4cea2b8cd5192a6bc6929d4.tar.xz packages-8c48e95727ada6e0a4cea2b8cd5192a6bc6929d4.zip | |
user/glpk: new package.
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" |