annotate src/isl.mk @ 7207:9ed6500e56d3 default tip @

maint: Merge release to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 17 May 2024 20:16:41 +0200
parents 9971207fe70e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3496
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
1 # This file is part of MXE.
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
2 # See index.html for further information.
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
3
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
4 PKG := isl
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
5 $(PKG)_IGNORE :=
6086
14180027d205 isl: Update to version 0.24.
Markus Mützel <markus.muetzel@gmx.de>
parents: 6083
diff changeset
6 $(PKG)_VERSION := 0.24
14180027d205 isl: Update to version 0.24.
Markus Mützel <markus.muetzel@gmx.de>
parents: 6083
diff changeset
7 $(PKG)_CHECKSUM := b0c46cc1c4fb1658def8d3c4c702a01049ea795e
6083
49f199fba615 isl: Switch to official mirror.
Markus Mützel <markus.muetzel@gmx.de>
parents: 5920
diff changeset
8 $(PKG)_SUBDIR := $(PKG)-$($(PKG)_VERSION)
5920
62cf840a71a5 isl: use git repo instead of unresponsive website
John Donoghue <john.donoghue@ieee.org>
parents: 5325
diff changeset
9 $(PKG)_FILE := $(PKG)-$($(PKG)_VERSION).tar.gz
6083
49f199fba615 isl: Switch to official mirror.
Markus Mützel <markus.muetzel@gmx.de>
parents: 5920
diff changeset
10 $(PKG)_URL := https://libisl.sourceforge.io/$($(PKG)_FILE)
6262
9971207fe70e * src/isl.mk: use gcc webpage for update versions
John Donoghue <john.donoghue@ieee.org>
parents: 6086
diff changeset
11 $(PKG)_URL_2 := https://gcc.gnu.org/pub/gcc/infrastructure/$($(PKG)_FILE)
3502
d667a65b0f2f update gcc dependencies
John W. Eaton <jwe@octave.org>
parents: 3496
diff changeset
12 $(PKG)_DEPS := build-gcc gmp
3496
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
13
4467
b7d6a53fa46c gcc: update to 7.1 with tools
John D
parents: 3934
diff changeset
14 $(PKG)_EXTRA_MAKE_FLAGS := LDFLAGS='-no-undefined'
b7d6a53fa46c gcc: update to 7.1 with tools
John D
parents: 3934
diff changeset
15
3496
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
16 # stick to tested versions from gcc
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
17 define $(PKG)_UPDATE
6262
9971207fe70e * src/isl.mk: use gcc webpage for update versions
John Donoghue <john.donoghue@ieee.org>
parents: 6086
diff changeset
18 $(WGET) -q -O- 'https://gcc.gnu.org/pub/gcc/infrastructure/' | \
9971207fe70e * src/isl.mk: use gcc webpage for update versions
John Donoghue <john.donoghue@ieee.org>
parents: 6086
diff changeset
19 $(SED) -n 's,.*isl-\([0-9][^>]*\)\.tar.*,\1,p' | \
3496
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
20 $(SORT) -V |
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
21 tail -1
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
22 endef
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
23
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
24 define $(PKG)_BUILD
6083
49f199fba615 isl: Switch to official mirror.
Markus Mützel <markus.muetzel@gmx.de>
parents: 5920
diff changeset
25 cd '$(1)' && mkdir '$(1)/.build'
49f199fba615 isl: Switch to official mirror.
Markus Mützel <markus.muetzel@gmx.de>
parents: 5920
diff changeset
26 cd '$(1)/.build' && '$(1)/configure' \
3496
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
27 $(HOST_AND_BUILD_CONFIGURE_OPTIONS) \
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
28 $(ENABLE_SHARED_OR_STATIC) \
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
29 --prefix='$(HOST_PREFIX)' \
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
30 --with-gmp-prefix='$(HOST_PREFIX)'
6083
49f199fba615 isl: Switch to official mirror.
Markus Mützel <markus.muetzel@gmx.de>
parents: 5920
diff changeset
31 $(MAKE) -C '$(1)/.build' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS)
49f199fba615 isl: Switch to official mirror.
Markus Mützel <markus.muetzel@gmx.de>
parents: 5920
diff changeset
32 $(MAKE) -C '$(1)/.build' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS) install
3496
3c7b3646d0b3 update to gcc 4.8.2 and allow building for MinGW-64
John W. Eaton <jwe@octave.org>
parents:
diff changeset
33 endef