From c91024069b11cec727ee229cc01f51f14ba5ab03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Sun, 3 Oct 2021 15:03:15 -0300
Subject: [PATCH] isl, isl15: update homepage and distfile url

It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.
---
 srcpkgs/isl/template   | 20 ++++++++++++--------
 srcpkgs/isl/update     |  2 ++
 srcpkgs/isl15/template | 20 ++++++++++++++------
 srcpkgs/isl15/update   |  4 ++++
 4 files changed, 32 insertions(+), 14 deletions(-)
 create mode 100644 srcpkgs/isl/update
 create mode 100644 srcpkgs/isl15/update

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index 397221fbaa41..5f34bbc79972 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -2,20 +2,24 @@
 pkgname=isl
 version=0.24
 revision=1
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://isl.gforge.inria.fr"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=7f6708cdc4fd64817c1a6902e51927eb9d7e4e87d97e2adbad053c138aa634db
 
-if [ -z "$CHROOT_READY" ]; then
-	CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
-	LDFLAGS="-L${XBPS_MASTERDIR}/usr/lib"
-fi
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
 	vlicense LICENSE
diff --git a/srcpkgs/isl/update b/srcpkgs/isl/update
new file mode 100644
index 000000000000..92718ab2022b
--- /dev/null
+++ b/srcpkgs/isl/update
@@ -0,0 +1,2 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"
diff --git a/srcpkgs/isl15/template b/srcpkgs/isl15/template
index 9d327a3a53dd..3424e2172c87 100644
--- a/srcpkgs/isl15/template
+++ b/srcpkgs/isl15/template
@@ -2,21 +2,29 @@
 pkgname=isl15
 version=0.19
 revision=2
-wrksrc="isl-${version}"
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://freecode.com/projects/isl"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=d59726f34f7852a081fbd3defd1ab2136f174110fc2e0c8d10bb122173fa9ed8
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=2f2e7915a7276c3bc3c37643fa093ba774ad7b52556df29cd024939a99698c2e
+
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
+	vlicense LICENSE
 	# Remove gdb python files.
 	rm -f ${DESTDIR}/usr/lib/*.py
-	vlicense LICENSE
 }
 
 isl15-devel_package() {
diff --git a/srcpkgs/isl15/update b/srcpkgs/isl15/update
new file mode 100644
index 000000000000..f82e86d92d79
--- /dev/null
+++ b/srcpkgs/isl15/update
@@ -0,0 +1,4 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"
+# ad-hoc updates so ignore everything
+ignore=*