diff src/isl.mk @ 3496:3c7b3646d0b3

update to gcc 4.8.2 and allow building for MinGW-64
author John W. Eaton <jwe@octave.org>
date Mon, 03 Feb 2014 18:16:02 -0500
parents
children d667a65b0f2f
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/isl.mk	Mon Feb 03 18:16:02 2014 -0500
@@ -0,0 +1,29 @@
+# This file is part of MXE.
+# See index.html for further information.
+
+PKG             := isl
+$(PKG)_IGNORE   :=
+$(PKG)_VERSION  := 0.11.1
+$(PKG)_CHECKSUM := d7936929c3937e03f09b64c3c54e49422fa8ddb3
+$(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     := 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)'
+    $(MAKE) -C '$(1)' -j '$(JOBS)' install
+endef