Mercurial > mxe-octave
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 |
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 | 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 | 14 $(PKG)_EXTRA_MAKE_FLAGS := LDFLAGS='-no-undefined' |
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 |