main/isl: upgrade to 0.25

main/isl/APKBUILD

-# Contributor: Timo Teräs <timo.teras@iki.fi>
-# Maintainer: Timo Teräs <timo.teras@iki.fi>
-pkgname=isl
-pkgver=0.18
-pkgrel=1
-pkgdesc="An Integer Set Library for the Polyhedral Model"
-url="http://isl.gforge.inria.fr/"
-arch="all"
-license="MIT"
-depends_dev="gmp-dev"
-makedepends_host="$depends_dev"
-makedepends="$makedepends_host"
-replaces="cloog"
-subpackages=""
-source="https://libisl.sourceforge.io/isl-$pkgver.tar.bz2"
-
-builddir="$srcdir"/$pkgname-$pkgver
-
-prepare() {
-	default_prepare
-	update_config_sub
-}
-
-build() {
-	./configure \
-		--build=$CBUILD \
-		--host=$CHOST \
-		--prefix=/usr \
-		--mandir=/usr/share/man \
-		--infodir=/usr/share/info \
-		--localstatedir=/var \
-		--with-sysroot=${CBUILDROOT}
-	make
-}
-
-check() {
-	make check
-}
-
-package() {
-	make DESTDIR="$pkgdir" INSTALL="install -D" install
-	# isl-dev is provided by isl24
-	rm -rf "$pkgdir"/usr/include \
-		"$pkgdir"/usr/lib/pkgconfig \
-		"$pkgdir"/usr/lib/*.a \
-		"$pkgdir"/usr/lib/*.so \
-		"$pkgdir"/usr/lib/*.py
-}
-
-sha512sums="85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94  isl-0.18.tar.bz2"