diff options
| author | Michel Zou | 2020-02-10 10:17:37 +0100 |
|---|---|---|
| committer | Michel Zou | 2020-02-10 10:17:37 +0100 |
| commit | c398afb6e24b6ce0331eb412b53cd85bc9745da0 (patch) | |
| tree | ba9e38618eba589596bbb5fbbe4f362eba9ea6ec | |
| download | aur-c398afb6e24b6ce0331eb412b53cd85bc9745da0.tar.gz | |
1.10.7
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | PKGBUILD | 30 |
2 files changed, 46 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2b152e1837b3 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = coin-or-coinglpk + pkgdesc = COIN-OR autotools harness to build Glpk + pkgver = 1.10.7 + pkgrel = 1 + url = https://github.com/coin-or-tools/ThirdParty-Glpk + arch = i686 + arch = x86_64 + groups = coin-or + license = custom + makedepends = wget + depends = gmp + source = https://github.com/coin-or-tools/ThirdParty-Glpk/archive/releases/1.10.7.tar.gz + sha256sums = 0bc56db9d9031bb699f91fd6d312cbd236a7d310af01d3296ba31cea3421024a + +pkgname = coin-or-coinglpk + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..3adb0a9571f5 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,30 @@ +pkgname=coin-or-coinglpk +pkgver=1.10.7 +pkgrel=1 +pkgdesc="COIN-OR autotools harness to build Glpk" +arch=('i686' 'x86_64') +url="https://github.com/coin-or-tools/ThirdParty-Glpk" +license=('custom') +groups=('coin-or') +depends=('gmp') +makedepends=('wget') +source=("https://github.com/coin-or-tools/ThirdParty-Glpk/archive/releases/$pkgver.tar.gz") +sha256sums=('0bc56db9d9031bb699f91fd6d312cbd236a7d310af01d3296ba31cea3421024a') + +prepare () { + cd "ThirdParty-Glpk-releases-$pkgver" + ./get.Glpk +} + +build() { + cd "ThirdParty-Glpk-releases-$pkgver" + ./configure --prefix=/usr + make +} + +package() { + cd "ThirdParty-Glpk-releases-$pkgver" + PKG_CONFIG_LIBDIR="${pkgdir}/usr/lib/pkgconfig/" \ + make DESTDIR="${pkgdir}" install +} + |