comparison src/gcc-isl.mk @ 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 ca137ab73946
children 14180027d205
comparison
equal deleted inserted replaced
6082:480f60641fc2 6083:49f199fba615
2 # See index.html for further information. 2 # See index.html for further information.
3 3
4 PKG := gcc-isl 4 PKG := gcc-isl
5 $(PKG)_IGNORE := 5 $(PKG)_IGNORE :=
6 $(PKG)_VERSION := 0.22.1 6 $(PKG)_VERSION := 0.22.1
7 $(PKG)_CHECKSUM := ce66c4415906bf2c16a8f09f31383f4fe0991531 7 $(PKG)_CHECKSUM := e01a78ddf1f756a7e2f94fc1baa8abacae147d4d
8 $(PKG)_SUBDIR := isl-isl-$($(PKG)_VERSION)-788faca 8 $(PKG)_SUBDIR := isl-$($(PKG)_VERSION)
9 $(PKG)_FILE := isl-$($(PKG)_VERSION).tar.gz 9 $(PKG)_FILE := isl-$($(PKG)_VERSION).tar.gz
10 $(PKG)_URL := https://repo.or.cz/isl.git/snapshot/$($(PKG)_FILE) 10 $(PKG)_URL := https://libisl.sourceforge.io/$($(PKG)_FILE)
11 $(PKG)_DEPS := build-libtool gcc-gmp 11 $(PKG)_DEPS := build-libtool gcc-gmp
12 12
13 define $(PKG)_UPDATE 13 define $(PKG)_UPDATE
14 echo 'Warning: Updates are temporarily disabled for package $(PKG).' >&2; 14 echo 'Warning: Updates are temporarily disabled for package $(PKG).' >&2;
15 echo $(isl_VERSION) 15 echo $(isl_VERSION)
16 endef 16 endef
17 17
18 define $(PKG)_BUILD 18 define $(PKG)_BUILD
19 cd '$(1)' && ./autogen.sh 19 cd '$(1)' && mkdir '$(1)/.build'
20 mkdir '$(1).build' 20 cd '$(1)/.build' && '$(1)/configure' \
21 cd '$(1).build' && '$(1)/configure' \
22 --prefix='$(BUILD_TOOLS_PREFIX)' \ 21 --prefix='$(BUILD_TOOLS_PREFIX)' \
23 --disable-shared \ 22 --disable-shared \
24 --with-gmp-prefix='$(BUILD_TOOLS_PREFIX)' 23 --with-gmp-prefix='$(BUILD_TOOLS_PREFIX)'
25 $(MAKE) -C '$(1).build' -j '$(JOBS)' 24 $(MAKE) -C '$(1)/.build' -j '$(JOBS)'
26 $(MAKE) -C '$(1).build' -j 1 install 25 $(MAKE) -C '$(1)/.build' -j 1 install
27 endef 26 endef