diff src/isl.mk @ 3934:8ed7da7e39d4

gcc: parial undo of c/s ee802fc5dd9b * src/build-gcc.mk: version, checksum to 4.9.2 * src/native-gcc.mk: version, checksum to 4.9.2 * src/isl.mk: version 0.12.2 * src/isl-1-fixes.patch: add back patch file
author John Donoghue
date Thu, 07 May 2015 17:14:09 -0400
parents b50d43f931b1
children b7d6a53fa46c
line wrap: on
line diff
--- a/src/isl.mk	Wed May 06 21:14:42 2015 -0400
+++ b/src/isl.mk	Thu May 07 17:14:09 2015 -0400
@@ -3,17 +3,13 @@
 
 PKG             := isl
 $(PKG)_IGNORE   :=
-$(PKG)_VERSION  := 0.14
-$(PKG)_CHECKSUM := b09e25df265c97ed54002cd811d227a9a26c5f9c
+$(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
 
-ifeq ($(MXE_WINDOWS_BUILD),yes)
- $(PKG)_EXTRA_MAKE_FLAGS="LDFLAGS='-no-undefined'"
-endif
-
 # stick to tested versions from gcc
 define $(PKG)_UPDATE
     $(WGET) -q -O- 'ftp://gcc.gnu.org/pub/gcc/infrastructure/' | \