|
@@ -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_SOURCE = isl-$(ISL_VERSION).tar.xz
|
|
ISL_SITE = http://isl.gforge.inria.fr
|
|
ISL_SITE = http://isl.gforge.inria.fr
|
|
ISL_LICENSE = MIT
|
|
ISL_LICENSE = MIT
|
|
ISL_LICENSE_FILES = LICENSE
|
|
ISL_LICENSE_FILES = LICENSE
|
|
HOST_ISL_DEPENDENCIES = host-gmp
|
|
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))
|
|
$(eval $(host-autotools-package))
|