# HG changeset patch
# User John Donoghue <john.donoghue@ieee.org>
# Date 1655301613 14400
# Node ID 9971207fe70efa94db335863ad7f6692d7018d11
# Parent  02bd503a05f4b88a4d97f1c51e9d5b30688cb102
* src/isl.mk: use gcc webpage for update versions

diff -r 02bd503a05f4 -r 9971207fe70e src/isl.mk
--- a/src/isl.mk	Wed Jun 15 10:51:17 2022 +0200
+++ b/src/isl.mk	Wed Jun 15 10:00:13 2022 -0400
@@ -8,14 +8,15 @@
 $(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
 $(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.gz
 $(PKG)_URL      := https://libisl.sourceforge.io/$($(PKG)_FILE)
+$(PKG)_URL_2    := https://gcc.gnu.org/pub/gcc/infrastructure/$($(PKG)_FILE)
 $(PKG)_DEPS     := build-gcc gmp
 
 $(PKG)_EXTRA_MAKE_FLAGS := LDFLAGS='-no-undefined'
 
 # stick to tested versions from gcc
 define $(PKG)_UPDATE
-    $(WGET) -q -O- 'https://repo.or.cz/isl.git/refs' | \
-    $(SED) -n 's,.*>tags/isl-\([0-9][^<]*\).*,\1,p' | \
+    $(WGET) -q -O- 'https://gcc.gnu.org/pub/gcc/infrastructure/' | \
+    $(SED) -n 's,.*isl-\([0-9][^>]*\)\.tar.*,\1,p' | \
     $(SORT) -V |
     tail -1
 endef