changeset 6262:9971207fe70e

* src/isl.mk: use gcc webpage for update versions
author John Donoghue <john.donoghue@ieee.org>
date Wed, 15 Jun 2022 10:00:13 -0400
parents 02bd503a05f4
children a63a391d9e24
files src/isl.mk
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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