Mercurial > mxe-octave
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 |