summaryrefslogtreecommitdiffstats
path: root/src/isl.mk
diff options
context:
space:
mode:
authorBoris Nagaev <bnagaev@gmail.com>2016-10-18 20:55:47 (GMT)
committerBoris Nagaev <bnagaev@gmail.com>2017-01-25 21:51:18 (GMT)
commitf74bce1140f6f85fbe047e31faa3a38418270118 (patch)
treea9a284e28104d0a5c3b2b036616aea37ed529c3a /src/isl.mk
parentb9485ff3bf4b8b9e7d8003e0602fd75ef85349d1 (diff)
downloadmxe-f74bce1140f6f85fbe047e31faa3a38418270118.zip
mxe-f74bce1140f6f85fbe047e31faa3a38418270118.tar.gz
mxe-f74bce1140f6f85fbe047e31faa3a38418270118.tar.bz2
update default gcc to 5.4.0
The bug in gcc 5 which was a reason to downgrade to gcc 4 was fixed. See https://github.com/mxe/mxe/issues/964 for more details. cloog was updated to 0.18.4, because 0.18.1 version uses too old isl and failes to compile because it uses isl_int and it was removed from isl: https://gist.github.com/f550a61371f597a213f0291e53e632f0
Diffstat (limited to 'src/isl.mk')
-rw-r--r--src/isl.mk4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/isl.mk b/src/isl.mk
index 0e59ccf..6b6bae3 100644
--- a/src/isl.mk
+++ b/src/isl.mk
@@ -4,8 +4,8 @@ PKG := isl
$(PKG)_WEBSITE := http://isl.gforge.inria.fr/
$(PKG)_DESCR := Integer Set Library
$(PKG)_IGNORE :=
-$(PKG)_VERSION := 0.12.2
-$(PKG)_CHECKSUM := f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4
+$(PKG)_VERSION := 0.15
+$(PKG)_CHECKSUM := 8ceebbf4d9a81afa2b4449113cee4b7cb14a687d7a549a963deb5e2a41458b6b
$(PKG)_SUBDIR := $(PKG)-$($(PKG)_VERSION)
$(PKG)_FILE := $(PKG)-$($(PKG)_VERSION).tar.bz2
$(PKG)_URL := http://isl.gforge.inria.fr/$($(PKG)_FILE)