summaryrefslogtreecommitdiffstats
path: root/src/isl.mk
diff options
context:
space:
mode:
authorBoris Nagaev <bnagaev@gmail.com>2015-10-31 14:11:26 (GMT)
committerBoris Nagaev <bnagaev@gmail.com>2015-11-11 16:58:49 (GMT)
commit1cbb56bd03dac9e107cafacfdbd18b4d85b8af1f (patch)
tree16ddb5ba4944822c513c6445d1ba05a0b2aac853 /src/isl.mk
parent12ef7af27fecb3172d825245d3d0e158b6615b6d (diff)
downloadmxe-1cbb56bd03dac9e107cafacfdbd18b4d85b8af1f.zip
mxe-1cbb56bd03dac9e107cafacfdbd18b4d85b8af1f.tar.gz
mxe-1cbb56bd03dac9e107cafacfdbd18b4d85b8af1f.tar.bz2
isl: downgrade 0.14 -> 0.12.2
cloog is not compatible with isl 0.14
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 348ea33..3fe3b76 100644
--- a/src/isl.mk
+++ b/src/isl.mk
@@ -3,8 +3,8 @@
PKG := isl
$(PKG)_IGNORE :=
-$(PKG)_VERSION := 0.14
-$(PKG)_CHECKSUM := 7e3c02ff52f8540f6a85534f54158968417fd676001651c8289c705bd0228f36
+$(PKG)_VERSION := 0.12.2
+$(PKG)_CHECKSUM := f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4
$(PKG)_SUBDIR := $(PKG)-$($(PKG)_VERSION)
$(PKG)_FILE := $(PKG)-$($(PKG)_VERSION).tar.bz2
$(PKG)_URL := http://isl.gforge.inria.fr/$($(PKG)_FILE)