main/isl: upgrade to 0.25

main/isl22/APKBUILD

-# Contributor: Timo Teräs <timo.teras@iki.fi>
-# Maintainer: Timo Teräs <timo.teras@iki.fi>
-
-# this package needs special care since it is a part of the toolchain.
-# we need to be able to have the old version installed in parallel with
-# a new with ABI breaking change. That is why we have the version
-# as a part of the pkgname.
-
-pkgname=isl22
-pkgver=0.22
-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"
-subpackages=""
-source="https://libisl.sourceforge.io/isl-$pkgver.tar.bz2"
-
-builddir="$srcdir"/isl-$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="
-fc2c9796979610dd51143dcefe4f5c989c4354571cc5a1fcc6b932fd41f42a54f6b43adfd289af61be7bd06f3a523fa6a7d7ee56680e32d8036beb4c188fa668  isl-0.22.tar.bz2
-"