You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
35 lines
1.2 KiB
35 lines
1.2 KiB
# This file is part of MXE. See LICENSE.md for licensing information.
|
|
|
|
PKG := isl
|
|
$(PKG)_WEBSITE := https://isl.gforge.inria.fr/
|
|
$(PKG)_DESCR := Integer Set Library
|
|
$(PKG)_IGNORE :=
|
|
$(PKG)_VERSION := 0.15
|
|
$(PKG)_CHECKSUM := 8ceebbf4d9a81afa2b4449113cee4b7cb14a687d7a549a963deb5e2a41458b6b
|
|
$(PKG)_SUBDIR := $(PKG)-$($(PKG)_VERSION)
|
|
$(PKG)_FILE := $(PKG)-$($(PKG)_VERSION).tar.bz2
|
|
$(PKG)_URL := https://isl.gforge.inria.fr/$($(PKG)_FILE)
|
|
$(PKG)_URL_2 := https://gcc.gnu.org/pub/gcc/infrastructure/$($(PKG)_FILE)
|
|
$(PKG)_TARGETS := $(BUILD) $(MXE_TARGETS)
|
|
$(PKG)_DEPS := cc gmp
|
|
|
|
$(PKG)_DEPS_$(BUILD) := gmp
|
|
|
|
# stick to tested versions from gcc
|
|
# while in gcc4 series specific versions are required:
|
|
# https://web.archive.org/web/20141031011459/https://gcc.gnu.org/install/prerequisites.html
|
|
define $(PKG)_UPDATE
|
|
$(WGET) -q -O- 'https://gcc.gnu.org/pub/gcc/infrastructure/' | \
|
|
$(SED) -n 's,.*isl-\([0-9][^>]*\)\.tar.*,\1,p' | \
|
|
$(SORT) -V |
|
|
tail -1
|
|
endef
|
|
|
|
define $(PKG)_BUILD
|
|
cd '$(1)' && ./configure \
|
|
$(MXE_CONFIGURE_OPTS) \
|
|
--with-gmp-prefix='$(PREFIX)/$(TARGET)'
|
|
$(MAKE) -C '$(1)' -j '$(JOBS)' $(if $(BUILD_SHARED),LDFLAGS=-no-undefined)
|
|
$(MAKE) -C '$(1)' -j '$(JOBS)' install
|
|
endef
|