diff --git a/main/isl24/APKBUILD b/main/isl24/APKBUILD index d9ced59b37fb38ee68926353a19fb7daf1be07d2..820181f19a1ebd865bd8034854af7a2119d630e3 100644 --- a/main/isl24/APKBUILD +++ b/main/isl24/APKBUILD @@ -8,7 +8,7 @@ pkgname=isl24 pkgver=0.24 -pkgrel=0 +pkgrel=1 pkgdesc="An Integer Set Library for the Polyhedral Model" url="http://isl.gforge.inria.fr/" arch="all" @@ -16,7 +16,6 @@ license="MIT" depends_dev="gmp-dev" makedepends_host="$depends_dev" makedepends="$makedepends_host" -subpackages="isl-dev:_dev" source="https://libisl.sourceforge.io/isl-$pkgver.tar.bz2" builddir="$srcdir"/isl-$pkgver @@ -39,13 +38,12 @@ check() { package() { make DESTDIR="$pkgdir" INSTALL="install -D" install -} - -_dev() { - default_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/ + # isl-dev is provided by isl25 + rm -rf "$pkgdir"/usr/include \ + "$pkgdir"/usr/lib/pkgconfig \ + "$pkgdir"/usr/lib/*.a \ + "$pkgdir"/usr/lib/*.so \ + "$pkgdir"/usr/lib/*.py } sha512sums="