view src/gcc-isl.mk @ 4658:213da5688be0

update binary dist rules * binary-dist-rules.mk: Use -w64, -w32, or -w64-64 suffix for Windows binary distributions. New target for creating .7z files. * tools/makeinst-script.sh.in: New arg for name of installer file.
author John W. Eaton <jwe@octave.org>
date Thu, 12 Apr 2018 12:09:22 -0400
parents c7285e784532
children 03a5acedac33
line wrap: on
line source

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

PKG             := gcc-isl
$(PKG)_IGNORE   :=
$(PKG)_VERSION  := 0.16.1
$(PKG)_CHECKSUM := c5a2b201bf05229647e73203c0bf2d9679d4d21f
$(PKG)_SUBDIR   := isl-$($(PKG)_VERSION)
$(PKG)_FILE     := isl-$($(PKG)_VERSION).tar.bz2
$(PKG)_URL      := ftp://gcc.gnu.org/pub/gcc/infrastructure/$($(PKG)_FILE)
$(PKG)_DEPS     := gcc-gmp

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

define $(PKG)_BUILD
    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