diff options
author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-03-08 01:45:56 +0000 |
---|---|---|
committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-03-08 01:45:56 +0000 |
commit | 230060d5717cb7f87029f5918ff159687c36e253 (patch) | |
tree | 64919c845a1f945f525104a2a917036e6df0083d /system/isl | |
parent | ff1444133b1a0cf29af67342f2344403d4f885b8 (diff) | |
download | packages-230060d5717cb7f87029f5918ff159687c36e253.tar.gz packages-230060d5717cb7f87029f5918ff159687c36e253.tar.bz2 packages-230060d5717cb7f87029f5918ff159687c36e253.tar.xz packages-230060d5717cb7f87029f5918ff159687c36e253.zip |
system/isl: bump to 0.20, modernise
Diffstat (limited to 'system/isl')
-rw-r--r-- | system/isl/APKBUILD | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/system/isl/APKBUILD b/system/isl/APKBUILD index 5d789e087..17f34123e 100644 --- a/system/isl/APKBUILD +++ b/system/isl/APKBUILD @@ -1,7 +1,7 @@ # Contributor: Timo Teräs <timo.teras@iki.fi> # Maintainer: Adelie Platform Group <adelie-devel@lists.adelielinux.org> pkgname=isl -pkgver=0.18 +pkgver=0.20 pkgrel=0 pkgdesc="An Integer Set Library for the Polyhedral Model" url="http://isl.gforge.inria.fr/" @@ -12,14 +12,10 @@ depends_dev="gmp-dev" makedepends_host="$depends_dev" makedepends="$makedepends_host" replaces="cloog" -install="" subpackages="$pkgname-dev" source="http://isl.gforge.inria.fr/isl-$pkgver.tar.bz2" -builddir="$srcdir"/$pkgname-$pkgver - build() { - cd "$builddir" ./configure \ --build=$CBUILD \ --host=$CHOST \ @@ -32,12 +28,10 @@ build() { } check() { - cd "$builddir" make check } package() { - cd "$builddir" make DESTDIR="$pkgdir" INSTALL="install -D" install } @@ -49,4 +43,4 @@ dev() { "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib/ } -sha512sums="85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94 isl-0.18.tar.bz2" +sha512sums="afe2e159b74646a26449268637403d271f9e3f6410d8cc1c9cffca41370c4357b165dea844db0c2a654591f954e54710dda650c8088abd4711406aa6302da950 isl-0.20.tar.bz2" |