view src/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 62cf840a71a5
children 14180027d205
line wrap: on
line source

# This file is part of MXE.
# See index.html for further information.

PKG             := isl
$(PKG)_IGNORE   :=
$(PKG)_VERSION  := 0.22.1
$(PKG)_CHECKSUM := e01a78ddf1f756a7e2f94fc1baa8abacae147d4d
$(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
$(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.gz
$(PKG)_URL      := https://libisl.sourceforge.io/$($(PKG)_FILE)
$(PKG)_DEPS     := build-gcc gmp

$(PKG)_EXTRA_MAKE_FLAGS := LDFLAGS='-no-undefined'

# stick to tested versions from gcc
define $(PKG)_UPDATE
    $(WGET) -q -O- 'https://repo.or.cz/isl.git/refs' | \
    $(SED) -n 's,.*>tags/isl-\([0-9][^<]*\).*,\1,p' | \
    $(SORT) -V |
    tail -1
endef

define $(PKG)_BUILD
    cd '$(1)' && mkdir '$(1)/.build'
    cd '$(1)/.build' && '$(1)/configure' \
        $(HOST_AND_BUILD_CONFIGURE_OPTIONS) \
        $(ENABLE_SHARED_OR_STATIC) \
        --prefix='$(HOST_PREFIX)' \
        --with-gmp-prefix='$(HOST_PREFIX)'
    $(MAKE) -C '$(1)/.build' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS)
    $(MAKE) -C '$(1)/.build' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS) install
endef