Re: [PATCH 2/2] [graphite] update required isl versions

2015-12-16 Thread Richard Biener
On Mon, Dec 14, 2015 at 10:48 PM, Sebastian Pop  wrote:
> we now check the isl version, as there are no real differences in existing 
> files
> in between isl 0.14 and isl 0.15.

Looks good to me.

Richard.

> ---
>  config/isl.m4| 29 +++
>  configure| 23 +--
>  gcc/config.in| 12 
>  gcc/configure| 61 
> ++--
>  gcc/configure.ac | 23 ---
>  gcc/graphite-isl-ast-to-gimple.c | 10 ++-
>  gcc/graphite-optimize-isl.c  | 30 ++--
>  gcc/graphite-poly.c  |  8 --
>  gcc/graphite-sese-to-poly.c  |  8 --
>  gcc/graphite.h   |  1 +
>  10 files changed, 39 insertions(+), 166 deletions(-)
>
> diff --git a/config/isl.m4 b/config/isl.m4
> index 459fac1..7387ff2 100644
> --- a/config/isl.m4
> +++ b/config/isl.m4
> @@ -19,23 +19,23 @@
>
>  # ISL_INIT_FLAGS ()
>  # -
> -# Provide configure switches for ISL support.
> +# Provide configure switches for isl support.
>  # Initialize isllibs/islinc according to the user input.
>  AC_DEFUN([ISL_INIT_FLAGS],
>  [
>AC_ARG_WITH([isl-include],
>  [AS_HELP_STRING(
>[--with-isl-include=PATH],
> -  [Specify directory for installed ISL include files])])
> +  [Specify directory for installed isl include files])])
>AC_ARG_WITH([isl-lib],
>  [AS_HELP_STRING(
>[--with-isl-lib=PATH],
> -  [Specify the directory for the installed ISL library])])
> +  [Specify the directory for the installed isl library])])
>
>AC_ARG_ENABLE(isl-version-check,
>  [AS_HELP_STRING(
>[--disable-isl-version-check],
> -  [disable check for ISL version])],
> +  [disable check for isl version])],
>  ENABLE_ISL_CHECK=$enableval,
>  ENABLE_ISL_CHECK=yes)
>
> @@ -58,15 +58,15 @@ AC_DEFUN([ISL_INIT_FLAGS],
>if test "x${with_isl_lib}" != x; then
>  isllibs="-L$with_isl_lib"
>fi
> -  dnl If no --with-isl flag was specified and there is in-tree ISL
> +  dnl If no --with-isl flag was specified and there is in-tree isl
>dnl source, set up flags to use that and skip any version tests
> -  dnl as we cannot run them before building ISL.
> +  dnl as we cannot run them before building isl.
>if test "x${islinc}" = x && test "x${isllibs}" = x \
>   && test -d ${srcdir}/isl; then
>  isllibs='-L$$r/$(HOST_SUBDIR)/isl/'"$lt_cv_objdir"' '
>  islinc='-I$$r/$(HOST_SUBDIR)/isl/include -I$$s/isl/include'
>  ENABLE_ISL_CHECK=no
> -AC_MSG_WARN([using in-tree ISL, disabling version check])
> +AC_MSG_WARN([using in-tree isl, disabling version check])
>fi
>
>isllibs="${isllibs} -lisl"
> @@ -75,7 +75,7 @@ AC_DEFUN([ISL_INIT_FLAGS],
>
>  # ISL_REQUESTED (ACTION-IF-REQUESTED, ACTION-IF-NOT)
>  # 
> -# Provide actions for failed ISL detection.
> +# Provide actions for failed isl detection.
>  AC_DEFUN([ISL_REQUESTED],
>  [
>AC_REQUIRE([ISL_INIT_FLAGS])
> @@ -106,12 +106,17 @@ AC_DEFUN([ISL_CHECK_VERSION],
>  LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
>  LIBS="${_isl_saved_LIBS} -lisl"
>
> -AC_MSG_CHECKING([for compatible ISL])
> -AC_LINK_IFELSE([AC_LANG_PROGRAM([[#include ]], [[;]])],
> -   [gcc_cv_isl=yes],
> -   [gcc_cv_isl=no])
> +AC_MSG_CHECKING([for isl 0.15 (or deprecated 0.14)])
> +AC_TRY_LINK([#include ],
> +[isl_ctx_get_max_operations (isl_ctx_alloc ());],
> +[gcc_cv_isl=yes],
> +[gcc_cv_isl=no])
>  AC_MSG_RESULT([$gcc_cv_isl])
>
> +if test "${gcc_cv_isl}" = no ; then
> +  AC_MSG_RESULT([recommended isl version is 0.15, minimum required isl 
> version 0.14 is deprecated])
> +fi
> +
>  CFLAGS=$_isl_saved_CFLAGS
>  LDFLAGS=$_isl_saved_LDFLAGS
>  LIBS=$_isl_saved_LIBS
> diff --git a/configure b/configure
> index 090615f..a6495c4 100755
> --- a/configure
> +++ b/configure
> @@ -1492,7 +1492,7 @@ Optional Features:
>build static libjava [default=no]
>--enable-bootstrap  enable bootstrapping [yes if native build]
>--disable-isl-version-check
> -  disable check for ISL version
> +  disable check for isl version
>--enable-ltoenable link time optimization support
>--enable-linker-plugin-configure-flags=FLAGS
>additional flags for configuring linker plugins
> @@ -1553,8 +1553,8 @@ Optional Packages:
>package. Equivalent to
>--with-isl-include=PATH/include plus
>--with-isl-lib=PATH/lib
> -  --with-isl-include=PATH Specify directory for installed ISL include files
> -  --with-isl-lib=PATH Specify the directory for the installed ISL library
> +  --with-isl-include=PATH Specify di

[PATCH 2/2] [graphite] update required isl versions

2015-12-14 Thread Sebastian Pop
we now check the isl version, as there are no real differences in existing files
in between isl 0.14 and isl 0.15.
---
 config/isl.m4| 29 +++
 configure| 23 +--
 gcc/config.in| 12 
 gcc/configure| 61 ++--
 gcc/configure.ac | 23 ---
 gcc/graphite-isl-ast-to-gimple.c | 10 ++-
 gcc/graphite-optimize-isl.c  | 30 ++--
 gcc/graphite-poly.c  |  8 --
 gcc/graphite-sese-to-poly.c  |  8 --
 gcc/graphite.h   |  1 +
 10 files changed, 39 insertions(+), 166 deletions(-)

diff --git a/config/isl.m4 b/config/isl.m4
index 459fac1..7387ff2 100644
--- a/config/isl.m4
+++ b/config/isl.m4
@@ -19,23 +19,23 @@
 
 # ISL_INIT_FLAGS ()
 # -
-# Provide configure switches for ISL support.
+# Provide configure switches for isl support.
 # Initialize isllibs/islinc according to the user input.
 AC_DEFUN([ISL_INIT_FLAGS],
 [
   AC_ARG_WITH([isl-include],
 [AS_HELP_STRING(
   [--with-isl-include=PATH],
-  [Specify directory for installed ISL include files])])
+  [Specify directory for installed isl include files])])
   AC_ARG_WITH([isl-lib],
 [AS_HELP_STRING(
   [--with-isl-lib=PATH],
-  [Specify the directory for the installed ISL library])])
+  [Specify the directory for the installed isl library])])
 
   AC_ARG_ENABLE(isl-version-check,
 [AS_HELP_STRING(
   [--disable-isl-version-check],
-  [disable check for ISL version])],
+  [disable check for isl version])],
 ENABLE_ISL_CHECK=$enableval,
 ENABLE_ISL_CHECK=yes)
   
@@ -58,15 +58,15 @@ AC_DEFUN([ISL_INIT_FLAGS],
   if test "x${with_isl_lib}" != x; then
 isllibs="-L$with_isl_lib"
   fi
-  dnl If no --with-isl flag was specified and there is in-tree ISL
+  dnl If no --with-isl flag was specified and there is in-tree isl
   dnl source, set up flags to use that and skip any version tests
-  dnl as we cannot run them before building ISL.
+  dnl as we cannot run them before building isl.
   if test "x${islinc}" = x && test "x${isllibs}" = x \
  && test -d ${srcdir}/isl; then
 isllibs='-L$$r/$(HOST_SUBDIR)/isl/'"$lt_cv_objdir"' '
 islinc='-I$$r/$(HOST_SUBDIR)/isl/include -I$$s/isl/include'
 ENABLE_ISL_CHECK=no
-AC_MSG_WARN([using in-tree ISL, disabling version check])
+AC_MSG_WARN([using in-tree isl, disabling version check])
   fi
 
   isllibs="${isllibs} -lisl"
@@ -75,7 +75,7 @@ AC_DEFUN([ISL_INIT_FLAGS],
 
 # ISL_REQUESTED (ACTION-IF-REQUESTED, ACTION-IF-NOT)
 # 
-# Provide actions for failed ISL detection.
+# Provide actions for failed isl detection.
 AC_DEFUN([ISL_REQUESTED],
 [
   AC_REQUIRE([ISL_INIT_FLAGS])
@@ -106,12 +106,17 @@ AC_DEFUN([ISL_CHECK_VERSION],
 LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
 LIBS="${_isl_saved_LIBS} -lisl"
 
-AC_MSG_CHECKING([for compatible ISL])
-AC_LINK_IFELSE([AC_LANG_PROGRAM([[#include ]], [[;]])],
-   [gcc_cv_isl=yes],
-   [gcc_cv_isl=no])
+AC_MSG_CHECKING([for isl 0.15 (or deprecated 0.14)])
+AC_TRY_LINK([#include ],
+[isl_ctx_get_max_operations (isl_ctx_alloc ());],
+[gcc_cv_isl=yes],
+[gcc_cv_isl=no])
 AC_MSG_RESULT([$gcc_cv_isl])
 
+if test "${gcc_cv_isl}" = no ; then
+  AC_MSG_RESULT([recommended isl version is 0.15, minimum required isl 
version 0.14 is deprecated])
+fi
+
 CFLAGS=$_isl_saved_CFLAGS
 LDFLAGS=$_isl_saved_LDFLAGS
 LIBS=$_isl_saved_LIBS
diff --git a/configure b/configure
index 090615f..a6495c4 100755
--- a/configure
+++ b/configure
@@ -1492,7 +1492,7 @@ Optional Features:
   build static libjava [default=no]
   --enable-bootstrap  enable bootstrapping [yes if native build]
   --disable-isl-version-check
-  disable check for ISL version
+  disable check for isl version
   --enable-ltoenable link time optimization support
   --enable-linker-plugin-configure-flags=FLAGS
   additional flags for configuring linker plugins
@@ -1553,8 +1553,8 @@ Optional Packages:
   package. Equivalent to
   --with-isl-include=PATH/include plus
   --with-isl-lib=PATH/lib
-  --with-isl-include=PATH Specify directory for installed ISL include files
-  --with-isl-lib=PATH Specify the directory for the installed ISL library
+  --with-isl-include=PATH Specify directory for installed isl include files
+  --with-isl-lib=PATH Specify the directory for the installed isl library
   --with-build-sysroot=SYSROOT
   use sysroot as the system root during the build
   --with-debug-prefix-map='A=B C=D ...'
@@ -6003,8 +6003,8 @@ fi
 isllibs='-L$$r

RE: [PATCH 2/2] [graphite] update required isl versions

2015-12-11 Thread Sebastian Paul Pop
Good points.
I will send an updated patch following all your recommendations.

Sebastian

-Original Message-
From: Richard Biener [mailto:richard.guent...@gmail.com] 
Sent: Friday, December 11, 2015 3:42 AM
To: Sebastian Pop
Cc: Sebastian Pop; GCC Patches; hiradi...@msn.com
Subject: Re: [PATCH 2/2] [graphite] update required isl versions

On Thu, Dec 10, 2015 at 6:05 PM, Sebastian Pop  wrote:
> we now check the isl version, as there are no real differences in existing 
> files
> in between isl 0.14 and isl 0.15.

I thought ISL 0.15 has some new features you could check?  Also using a run test
is bad for cross compiling.

I'd simply change the "compatible" test to check for isl_ctx_get_max_operations
or whatever is needed to implement the compute bound and not worry about
warning about using a deprecated ISL during configure.

Maybe add the ISL version to the list of dependency versions we print in
toplev.c:print_version.

Richard.

> ---
>  config/isl.m4 |  41 +++--
>  configure | 112 
> --
>  2 files changed, 123 insertions(+), 30 deletions(-)
>
> diff --git a/config/isl.m4 b/config/isl.m4
> index 459fac1..886b0e4 100644
> --- a/config/isl.m4
> +++ b/config/isl.m4
> @@ -19,23 +19,23 @@
>
>  # ISL_INIT_FLAGS ()
>  # -
> -# Provide configure switches for ISL support.
> +# Provide configure switches for isl support.
>  # Initialize isllibs/islinc according to the user input.
>  AC_DEFUN([ISL_INIT_FLAGS],
>  [
>AC_ARG_WITH([isl-include],
>  [AS_HELP_STRING(
>[--with-isl-include=PATH],
> -  [Specify directory for installed ISL include files])])
> +  [Specify directory for installed isl include files])])
>AC_ARG_WITH([isl-lib],
>  [AS_HELP_STRING(
>[--with-isl-lib=PATH],
> -  [Specify the directory for the installed ISL library])])
> +  [Specify the directory for the installed isl library])])
>
>AC_ARG_ENABLE(isl-version-check,
>  [AS_HELP_STRING(
>[--disable-isl-version-check],
> -  [disable check for ISL version])],
> +  [disable check for isl version])],
>  ENABLE_ISL_CHECK=$enableval,
>  ENABLE_ISL_CHECK=yes)
>
> @@ -58,15 +58,15 @@ AC_DEFUN([ISL_INIT_FLAGS],
>if test "x${with_isl_lib}" != x; then
>  isllibs="-L$with_isl_lib"
>fi
> -  dnl If no --with-isl flag was specified and there is in-tree ISL
> +  dnl If no --with-isl flag was specified and there is in-tree isl
>dnl source, set up flags to use that and skip any version tests
> -  dnl as we cannot run them before building ISL.
> +  dnl as we cannot run them before building isl.
>if test "x${islinc}" = x && test "x${isllibs}" = x \
>   && test -d ${srcdir}/isl; then
>  isllibs='-L$$r/$(HOST_SUBDIR)/isl/'"$lt_cv_objdir"' '
>  islinc='-I$$r/$(HOST_SUBDIR)/isl/include -I$$s/isl/include'
>  ENABLE_ISL_CHECK=no
> -AC_MSG_WARN([using in-tree ISL, disabling version check])
> +AC_MSG_WARN([using in-tree isl, disabling version check])
>fi
>
>isllibs="${isllibs} -lisl"
> @@ -75,7 +75,7 @@ AC_DEFUN([ISL_INIT_FLAGS],
>
>  # ISL_REQUESTED (ACTION-IF-REQUESTED, ACTION-IF-NOT)
>  # 
> -# Provide actions for failed ISL detection.
> +# Provide actions for failed isl detection.
>  AC_DEFUN([ISL_REQUESTED],
>  [
>AC_REQUIRE([ISL_INIT_FLAGS])
> @@ -106,12 +106,31 @@ AC_DEFUN([ISL_CHECK_VERSION],
>  LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
>  LIBS="${_isl_saved_LIBS} -lisl"
>
> -AC_MSG_CHECKING([for compatible ISL])
> -AC_LINK_IFELSE([AC_LANG_PROGRAM([[#include ]], [[;]])],
> +AC_MSG_CHECKING([for recommended isl 0.15])
> +AC_TRY_RUN([#include 
> +#include 
> +int main() {
> +  if (strncmp (_GENERATED_STDINT_H, "isl 0.15", 8))
> +return 1;
> +  return 0;
> +}],
> [gcc_cv_isl=yes],
> -   [gcc_cv_isl=no])
> +   [gcc_cv_isl=no], [gcc_cv_isl=no])
>  AC_MSG_RESULT([$gcc_cv_isl])
>
> +if test "${gcc_cv_isl}" = no ; then
> +   AC_MSG_CHECKING([for deprecated isl 0.14])
> +   AC_TRY_RUN([#include 
> +   #include 
> +   int main() {
> + if (strncmp (_GENERATED_STDINT_H, "isl 0.14", 8))
> +   return 1;
> + return 0;
> +   }],
> +   [gcc_cv_isl=yes],
> +   [gcc_cv

Re: [PATCH 2/2] [graphite] update required isl versions

2015-12-11 Thread Richard Biener
On Thu, Dec 10, 2015 at 6:05 PM, Sebastian Pop  wrote:
> we now check the isl version, as there are no real differences in existing 
> files
> in between isl 0.14 and isl 0.15.

I thought ISL 0.15 has some new features you could check?  Also using a run test
is bad for cross compiling.

I'd simply change the "compatible" test to check for isl_ctx_get_max_operations
or whatever is needed to implement the compute bound and not worry about
warning about using a deprecated ISL during configure.

Maybe add the ISL version to the list of dependency versions we print in
toplev.c:print_version.

Richard.

> ---
>  config/isl.m4 |  41 +++--
>  configure | 112 
> --
>  2 files changed, 123 insertions(+), 30 deletions(-)
>
> diff --git a/config/isl.m4 b/config/isl.m4
> index 459fac1..886b0e4 100644
> --- a/config/isl.m4
> +++ b/config/isl.m4
> @@ -19,23 +19,23 @@
>
>  # ISL_INIT_FLAGS ()
>  # -
> -# Provide configure switches for ISL support.
> +# Provide configure switches for isl support.
>  # Initialize isllibs/islinc according to the user input.
>  AC_DEFUN([ISL_INIT_FLAGS],
>  [
>AC_ARG_WITH([isl-include],
>  [AS_HELP_STRING(
>[--with-isl-include=PATH],
> -  [Specify directory for installed ISL include files])])
> +  [Specify directory for installed isl include files])])
>AC_ARG_WITH([isl-lib],
>  [AS_HELP_STRING(
>[--with-isl-lib=PATH],
> -  [Specify the directory for the installed ISL library])])
> +  [Specify the directory for the installed isl library])])
>
>AC_ARG_ENABLE(isl-version-check,
>  [AS_HELP_STRING(
>[--disable-isl-version-check],
> -  [disable check for ISL version])],
> +  [disable check for isl version])],
>  ENABLE_ISL_CHECK=$enableval,
>  ENABLE_ISL_CHECK=yes)
>
> @@ -58,15 +58,15 @@ AC_DEFUN([ISL_INIT_FLAGS],
>if test "x${with_isl_lib}" != x; then
>  isllibs="-L$with_isl_lib"
>fi
> -  dnl If no --with-isl flag was specified and there is in-tree ISL
> +  dnl If no --with-isl flag was specified and there is in-tree isl
>dnl source, set up flags to use that and skip any version tests
> -  dnl as we cannot run them before building ISL.
> +  dnl as we cannot run them before building isl.
>if test "x${islinc}" = x && test "x${isllibs}" = x \
>   && test -d ${srcdir}/isl; then
>  isllibs='-L$$r/$(HOST_SUBDIR)/isl/'"$lt_cv_objdir"' '
>  islinc='-I$$r/$(HOST_SUBDIR)/isl/include -I$$s/isl/include'
>  ENABLE_ISL_CHECK=no
> -AC_MSG_WARN([using in-tree ISL, disabling version check])
> +AC_MSG_WARN([using in-tree isl, disabling version check])
>fi
>
>isllibs="${isllibs} -lisl"
> @@ -75,7 +75,7 @@ AC_DEFUN([ISL_INIT_FLAGS],
>
>  # ISL_REQUESTED (ACTION-IF-REQUESTED, ACTION-IF-NOT)
>  # 
> -# Provide actions for failed ISL detection.
> +# Provide actions for failed isl detection.
>  AC_DEFUN([ISL_REQUESTED],
>  [
>AC_REQUIRE([ISL_INIT_FLAGS])
> @@ -106,12 +106,31 @@ AC_DEFUN([ISL_CHECK_VERSION],
>  LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
>  LIBS="${_isl_saved_LIBS} -lisl"
>
> -AC_MSG_CHECKING([for compatible ISL])
> -AC_LINK_IFELSE([AC_LANG_PROGRAM([[#include ]], [[;]])],
> +AC_MSG_CHECKING([for recommended isl 0.15])
> +AC_TRY_RUN([#include 
> +#include 
> +int main() {
> +  if (strncmp (_GENERATED_STDINT_H, "isl 0.15", 8))
> +return 1;
> +  return 0;
> +}],
> [gcc_cv_isl=yes],
> -   [gcc_cv_isl=no])
> +   [gcc_cv_isl=no], [gcc_cv_isl=no])
>  AC_MSG_RESULT([$gcc_cv_isl])
>
> +if test "${gcc_cv_isl}" = no ; then
> +   AC_MSG_CHECKING([for deprecated isl 0.14])
> +   AC_TRY_RUN([#include 
> +   #include 
> +   int main() {
> + if (strncmp (_GENERATED_STDINT_H, "isl 0.14", 8))
> +   return 1;
> + return 0;
> +   }],
> +   [gcc_cv_isl=yes],
> +   [gcc_cv_isl=no], [gcc_cv_isl=no])
> +AC_MSG_RESULT([$gcc_cv_isl, recommended isl version is 0.15, minimum 
> required isl version 0.14 is deprecated])
> +fi
>  CFLAGS=$_isl_saved_CFLAGS
>  LDFLAGS=$_isl_saved_LDFLAGS
>  LIBS=$_isl_saved_LIBS
> diff --git a/configure b/configure
> index 090615f..4284ba7 100755
> --- a/configure
> +++ b/configure
> @@ -1492,7 +1492,7 @@ Optional Features:
>build static libjava [default=no]
>--enable-bootstrap  enable bootstrapping [yes if native build]
>--disable-isl-version-check
> -  disable check for ISL version
> +  disable check for isl version
>--enable-ltoenable link time optimization support
>--enable-linker-plugin-configure-flags=FLAGS
> 

[PATCH 2/2] [graphite] update required isl versions

2015-12-10 Thread Sebastian Pop
we now check the isl version, as there are no real differences in existing files
in between isl 0.14 and isl 0.15.
---
 config/isl.m4 |  41 +++--
 configure | 112 --
 2 files changed, 123 insertions(+), 30 deletions(-)

diff --git a/config/isl.m4 b/config/isl.m4
index 459fac1..886b0e4 100644
--- a/config/isl.m4
+++ b/config/isl.m4
@@ -19,23 +19,23 @@
 
 # ISL_INIT_FLAGS ()
 # -
-# Provide configure switches for ISL support.
+# Provide configure switches for isl support.
 # Initialize isllibs/islinc according to the user input.
 AC_DEFUN([ISL_INIT_FLAGS],
 [
   AC_ARG_WITH([isl-include],
 [AS_HELP_STRING(
   [--with-isl-include=PATH],
-  [Specify directory for installed ISL include files])])
+  [Specify directory for installed isl include files])])
   AC_ARG_WITH([isl-lib],
 [AS_HELP_STRING(
   [--with-isl-lib=PATH],
-  [Specify the directory for the installed ISL library])])
+  [Specify the directory for the installed isl library])])
 
   AC_ARG_ENABLE(isl-version-check,
 [AS_HELP_STRING(
   [--disable-isl-version-check],
-  [disable check for ISL version])],
+  [disable check for isl version])],
 ENABLE_ISL_CHECK=$enableval,
 ENABLE_ISL_CHECK=yes)
   
@@ -58,15 +58,15 @@ AC_DEFUN([ISL_INIT_FLAGS],
   if test "x${with_isl_lib}" != x; then
 isllibs="-L$with_isl_lib"
   fi
-  dnl If no --with-isl flag was specified and there is in-tree ISL
+  dnl If no --with-isl flag was specified and there is in-tree isl
   dnl source, set up flags to use that and skip any version tests
-  dnl as we cannot run them before building ISL.
+  dnl as we cannot run them before building isl.
   if test "x${islinc}" = x && test "x${isllibs}" = x \
  && test -d ${srcdir}/isl; then
 isllibs='-L$$r/$(HOST_SUBDIR)/isl/'"$lt_cv_objdir"' '
 islinc='-I$$r/$(HOST_SUBDIR)/isl/include -I$$s/isl/include'
 ENABLE_ISL_CHECK=no
-AC_MSG_WARN([using in-tree ISL, disabling version check])
+AC_MSG_WARN([using in-tree isl, disabling version check])
   fi
 
   isllibs="${isllibs} -lisl"
@@ -75,7 +75,7 @@ AC_DEFUN([ISL_INIT_FLAGS],
 
 # ISL_REQUESTED (ACTION-IF-REQUESTED, ACTION-IF-NOT)
 # 
-# Provide actions for failed ISL detection.
+# Provide actions for failed isl detection.
 AC_DEFUN([ISL_REQUESTED],
 [
   AC_REQUIRE([ISL_INIT_FLAGS])
@@ -106,12 +106,31 @@ AC_DEFUN([ISL_CHECK_VERSION],
 LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
 LIBS="${_isl_saved_LIBS} -lisl"
 
-AC_MSG_CHECKING([for compatible ISL])
-AC_LINK_IFELSE([AC_LANG_PROGRAM([[#include ]], [[;]])],
+AC_MSG_CHECKING([for recommended isl 0.15])
+AC_TRY_RUN([#include 
+#include 
+int main() {
+  if (strncmp (_GENERATED_STDINT_H, "isl 0.15", 8))
+return 1;
+  return 0;
+}],
[gcc_cv_isl=yes],
-   [gcc_cv_isl=no])
+   [gcc_cv_isl=no], [gcc_cv_isl=no])
 AC_MSG_RESULT([$gcc_cv_isl])
 
+if test "${gcc_cv_isl}" = no ; then
+   AC_MSG_CHECKING([for deprecated isl 0.14])
+   AC_TRY_RUN([#include 
+   #include 
+   int main() {
+ if (strncmp (_GENERATED_STDINT_H, "isl 0.14", 8))
+   return 1;
+ return 0;
+   }],
+   [gcc_cv_isl=yes],
+   [gcc_cv_isl=no], [gcc_cv_isl=no])
+AC_MSG_RESULT([$gcc_cv_isl, recommended isl version is 0.15, minimum 
required isl version 0.14 is deprecated])
+fi
 CFLAGS=$_isl_saved_CFLAGS
 LDFLAGS=$_isl_saved_LDFLAGS
 LIBS=$_isl_saved_LIBS
diff --git a/configure b/configure
index 090615f..4284ba7 100755
--- a/configure
+++ b/configure
@@ -1492,7 +1492,7 @@ Optional Features:
   build static libjava [default=no]
   --enable-bootstrap  enable bootstrapping [yes if native build]
   --disable-isl-version-check
-  disable check for ISL version
+  disable check for isl version
   --enable-ltoenable link time optimization support
   --enable-linker-plugin-configure-flags=FLAGS
   additional flags for configuring linker plugins
@@ -1553,8 +1553,8 @@ Optional Packages:
   package. Equivalent to
   --with-isl-include=PATH/include plus
   --with-isl-lib=PATH/lib
-  --with-isl-include=PATH Specify directory for installed ISL include files
-  --with-isl-lib=PATH Specify the directory for the installed ISL library
+  --with-isl-include=PATH Specify directory for installed isl include files
+  --with-isl-lib=PATH Specify the directory for the installed isl library
   --with-build-sysroot=SYSROOT
   use sysroot as the system root during the build
   --with-de