diff --git a/package/isl/isl.hash b/package/isl/isl.hash index e2c14ad149..43e5a463af 100644 --- a/package/isl/isl.hash +++ b/package/isl/isl.hash @@ -1,2 +1,2 @@ # Locally computed -sha256 8882c9e36549fc757efa267706a9af733bb8d7fe3905cbfde43e17a89eea4675 isl-0.14.1.tar.xz +sha256 0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4 isl-0.18.tar.xz diff --git a/package/isl/isl.mk b/package/isl/isl.mk index 74de125b60..b5f01c4c8d 100644 --- a/package/isl/isl.mk +++ b/package/isl/isl.mk @@ -4,18 +4,11 @@ # ################################################################################ -# 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.14.1 +ISL_VERSION = 0.18 ISL_SOURCE = isl-$(ISL_VERSION).tar.xz ISL_SITE = http://isl.gforge.inria.fr ISL_LICENSE = MIT ISL_LICENSE_FILES = LICENSE HOST_ISL_DEPENDENCIES = host-gmp -# Our libtool patch doesn't apply, and since this package is only -# built for the host, we don't really care about it. -ISL_LIBTOOL_PATCH = NO - $(eval $(host-autotools-package))