changeset 6083:49f199fba615

isl: Switch to official mirror. * src/gcc-isl.mk, src/isl.mk: Use new "official" mirror. See: https://groups.google.com/g/isl-development/c/JGaMo2VUu_8/m/wVTUVZrrAQAJ
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 12 Feb 2022 12:03:29 +0100
parents 480f60641fc2
children d33550749930
files src/gcc-isl.mk src/isl.mk
diffstat 2 files changed, 14 insertions(+), 14 deletions(-) [+]
line wrap: on
line diff
--- a/src/gcc-isl.mk	Wed Feb 09 09:56:44 2022 -0500
+++ b/src/gcc-isl.mk	Sat Feb 12 12:03:29 2022 +0100
@@ -4,10 +4,10 @@
 PKG             := gcc-isl
 $(PKG)_IGNORE   :=
 $(PKG)_VERSION  := 0.22.1
-$(PKG)_CHECKSUM := ce66c4415906bf2c16a8f09f31383f4fe0991531
-$(PKG)_SUBDIR   := isl-isl-$($(PKG)_VERSION)-788faca
+$(PKG)_CHECKSUM := e01a78ddf1f756a7e2f94fc1baa8abacae147d4d
+$(PKG)_SUBDIR   := isl-$($(PKG)_VERSION)
 $(PKG)_FILE     := isl-$($(PKG)_VERSION).tar.gz
-$(PKG)_URL      := https://repo.or.cz/isl.git/snapshot/$($(PKG)_FILE)
+$(PKG)_URL      := https://libisl.sourceforge.io/$($(PKG)_FILE)
 $(PKG)_DEPS     := build-libtool gcc-gmp
 
 define $(PKG)_UPDATE
@@ -16,12 +16,11 @@
 endef
 
 define $(PKG)_BUILD
-    cd '$(1)' && ./autogen.sh
-    mkdir '$(1).build'
-    cd    '$(1).build' && '$(1)/configure' \
+    cd '$(1)' && mkdir '$(1)/.build'
+    cd '$(1)/.build' && '$(1)/configure' \
         --prefix='$(BUILD_TOOLS_PREFIX)' \
         --disable-shared \
         --with-gmp-prefix='$(BUILD_TOOLS_PREFIX)'
-    $(MAKE) -C '$(1).build' -j '$(JOBS)'
-    $(MAKE) -C '$(1).build' -j 1 install
+    $(MAKE) -C '$(1)/.build' -j '$(JOBS)'
+    $(MAKE) -C '$(1)/.build' -j 1 install
 endef
--- a/src/isl.mk	Wed Feb 09 09:56:44 2022 -0500
+++ b/src/isl.mk	Sat Feb 12 12:03:29 2022 +0100
@@ -4,10 +4,10 @@
 PKG             := isl
 $(PKG)_IGNORE   :=
 $(PKG)_VERSION  := 0.22.1
-$(PKG)_CHECKSUM := ce66c4415906bf2c16a8f09f31383f4fe0991531
-$(PKG)_SUBDIR   := isl-$(PKG)-$($(PKG)_VERSION)-788faca
+$(PKG)_CHECKSUM := e01a78ddf1f756a7e2f94fc1baa8abacae147d4d
+$(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
 $(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.gz
-$(PKG)_URL      := https://repo.or.cz/isl.git/snapshot/$($(PKG)_FILE)
+$(PKG)_URL      := https://libisl.sourceforge.io/$($(PKG)_FILE)
 $(PKG)_DEPS     := build-gcc gmp
 
 $(PKG)_EXTRA_MAKE_FLAGS := LDFLAGS='-no-undefined'
@@ -21,11 +21,12 @@
 endef
 
 define $(PKG)_BUILD
-    cd '$(1)' && ./autogen.sh && ./configure \
+    cd '$(1)' && mkdir '$(1)/.build'
+    cd '$(1)/.build' && '$(1)/configure' \
         $(HOST_AND_BUILD_CONFIGURE_OPTIONS) \
         $(ENABLE_SHARED_OR_STATIC) \
         --prefix='$(HOST_PREFIX)' \
         --with-gmp-prefix='$(HOST_PREFIX)'
-    $(MAKE) -C '$(1)' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS)
-    $(MAKE) -C '$(1)' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS) install
+    $(MAKE) -C '$(1)/.build' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS)
+    $(MAKE) -C '$(1)/.build' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS) install
 endef