changeset 5920:62cf840a71a5

isl: use git repo instead of unresponsive website * src/gcc-isl.mk, src/isl.mk: update urls, checksum and call autogen
author John Donoghue <john.donoghue@ieee.org>
date Fri, 15 Oct 2021 13:34:27 -0400
parents ac3ce52c4cde
children 68a66a57f70f
files src/gcc-isl.mk src/isl.mk
diffstat 2 files changed, 12 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/src/gcc-isl.mk	Mon Oct 11 16:01:48 2021 -0400
+++ b/src/gcc-isl.mk	Fri Oct 15 13:34:27 2021 -0400
@@ -4,10 +4,10 @@
 PKG             := gcc-isl
 $(PKG)_IGNORE   :=
 $(PKG)_VERSION  := 0.22.1
-$(PKG)_CHECKSUM := 125303d52bd6226f80d23bf1f76b78c6f1115568
-$(PKG)_SUBDIR   := isl-$($(PKG)_VERSION)
-$(PKG)_FILE     := isl-$($(PKG)_VERSION).tar.xz
-$(PKG)_URL      := http://isl.gforge.inria.fr/$($(PKG)_FILE)
+$(PKG)_CHECKSUM := ce66c4415906bf2c16a8f09f31383f4fe0991531
+$(PKG)_SUBDIR   := isl-isl-$($(PKG)_VERSION)-788faca
+$(PKG)_FILE     := isl-$($(PKG)_VERSION).tar.gz
+$(PKG)_URL      := https://repo.or.cz/isl.git/snapshot/$($(PKG)_FILE)
 $(PKG)_DEPS     := gcc-gmp
 
 define $(PKG)_UPDATE
@@ -16,6 +16,7 @@
 endef
 
 define $(PKG)_BUILD
+    cd '$(1)' && ./autogen.sh
     mkdir '$(1).build'
     cd    '$(1).build' && '$(1)/configure' \
         --prefix='$(BUILD_TOOLS_PREFIX)' \
--- a/src/isl.mk	Mon Oct 11 16:01:48 2021 -0400
+++ b/src/isl.mk	Fri Oct 15 13:34:27 2021 -0400
@@ -4,24 +4,24 @@
 PKG             := isl
 $(PKG)_IGNORE   :=
 $(PKG)_VERSION  := 0.22.1
-$(PKG)_CHECKSUM := 125303d52bd6226f80d23bf1f76b78c6f1115568
-$(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
-$(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.xz
-$(PKG)_URL      := http://isl.gforge.inria.fr/$($(PKG)_FILE)
+$(PKG)_CHECKSUM := ce66c4415906bf2c16a8f09f31383f4fe0991531
+$(PKG)_SUBDIR   := isl-$(PKG)-$($(PKG)_VERSION)-788faca
+$(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.gz
+$(PKG)_URL      := https://repo.or.cz/isl.git/snapshot/$($(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://isl.gforge.inria.fr/' | \
-    $(SED) -n 's,.*isl-\([0-9][^>]*\)\.tar.*,\1,p' | \
+    $(WGET) -q -O- 'https://repo.or.cz/isl.git/refs' | \
+    $(SED) -n 's,.*>tags/isl-\([0-9][^<]*\).*,\1,p' | \
     $(SORT) -V |
     tail -1
 endef
 
 define $(PKG)_BUILD
-    cd '$(1)' && ./configure \
+    cd '$(1)' && ./autogen.sh && ./configure \
         $(HOST_AND_BUILD_CONFIGURE_OPTIONS) \
         $(ENABLE_SHARED_OR_STATIC) \
         --prefix='$(HOST_PREFIX)' \