diff options
Diffstat (limited to 'system/isl')
| -rw-r--r-- | system/isl/APKBUILD | 22 |
1 files changed, 5 insertions, 17 deletions
diff --git a/system/isl/APKBUILD b/system/isl/APKBUILD index 5d789e087..e0f2785d9 100644 --- a/system/isl/APKBUILD +++ b/system/isl/APKBUILD @@ -1,25 +1,22 @@ # 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/" arch="all" +options="!dbg strip" # Static libs only license="MIT" depends="" 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 \ @@ -27,26 +24,17 @@ build() { --mandir=/usr/share/man \ --infodir=/usr/share/info \ --localstatedir=/var \ - --with-sysroot=${CBUILDROOT} + --with-sysroot=${CBUILDROOT} \ + --disable-shared make } check() { - cd "$builddir" make check } package() { - cd "$builddir" make DESTDIR="$pkgdir" INSTALL="install -D" install } -dev() { - default_dev - replaces="cloog-dev" - mkdir -p "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib - mv "$pkgdir"/usr/lib/*-gdb.py \ - "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib/ -} - -sha512sums="85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94 isl-0.18.tar.bz2" +sha512sums="afe2e159b74646a26449268637403d271f9e3f6410d8cc1c9cffca41370c4357b165dea844db0c2a654591f954e54710dda650c8088abd4711406aa6302da950 isl-0.20.tar.bz2" |