view src/isl.mk @ 4015:f3d167e40f01

of-tisean: add new package * Makefile.in: add tisean package * build_packages.m: add tisean package to installer * dist-files.mk: update for of-tisean-1-fortran.patch, of-tisean.mk * src/of-tisean-1-fortran.patch: new file * src/of-tisean.mk: new file
author John Donoghue
date Tue, 25 Aug 2015 08:40:44 -0400
parents 8ed7da7e39d4
children b7d6a53fa46c
line wrap: on
line source

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

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

# stick to tested versions from gcc
define $(PKG)_UPDATE
    $(WGET) -q -O- 'ftp://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 \
        $(HOST_AND_BUILD_CONFIGURE_OPTIONS) \
        $(ENABLE_SHARED_OR_STATIC) \
        --prefix='$(HOST_PREFIX)' \
        --with-gmp-prefix='$(HOST_PREFIX)'
    $(MAKE) -C '$(1)' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS)
    $(MAKE) -C '$(1)' -j '$(JOBS)' $($(PKG)_EXTRA_MAKE_FLAGS) install
endef