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

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

define $(PKG)_UPDATE
    echo 'Warning: Updates are temporarily disabled for package $(PKG).' >&2;
    echo $(isl_VERSION)
endef

define $(PKG)_BUILD
    cd '$(1)' && mkdir '$(1)/.build'
    cd '$(1)/.build' && '$(1)/configure' \
        --prefix='$(BUILD_TOOLS_PREFIX)' \
        --disable-shared \
        --with-gmp-prefix='$(BUILD_TOOLS_PREFIX)'
    $(MAKE) -C '$(1)/.build' -j '$(JOBS)'
    $(MAKE) -C '$(1)/.build' -j 1 install
endef