isl: bump to version 0.14.1

Also add hash file.

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>

diff --git a/package/isl/isl.hash b/package/isl/isl.hash
new file mode 100644 (file)
index 0000000..e2c14ad
--- /dev/null
+++ b/package/isl/isl.hash
@@ -0,0 +1,2 @@
+# Locally computed
+sha256 8882c9e36549fc757efa267706a9af733bb8d7fe3905cbfde43e17a89eea4675        isl-0.14.1.tar.xz

diff --git a/package/isl/isl.mk b/package/isl/isl.mk
index 55cff9d55cee01d8e2291be84c69ebd3a32bff66..bb79039e883a919cf67ab6c410390fd137a31eba 100644 (file)
--- a/package/isl/isl.mk
+++ b/package/isl/isl.mk
@@ -4,11 +4,11 @@
 #
 ################################################################################
 
-# The latest 0.13 version is not yet compatible with cloog 0.18.2, so
+# The latest 0.15 version is not yet compatible with cloog 0.18.3, so
 # bumping isl is not possible until a new version of cloog is
 # published.
-ISL_VERSION = 0.12.2
-ISL_SOURCE = isl-$(ISL_VERSION).tar.bz2
+ISL_VERSION = 0.14.1
+ISL_SOURCE = isl-$(ISL_VERSION).tar.xz
 ISL_SITE = http://isl.gforge.inria.fr
 ISL_LICENSE = MIT
 ISL_LICENSE_FILES = LICENSE