main/isl: upgrade to 0.25

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="