[PATCH] [graphite] document that isl-0.16 is supported

[Sebastian Pop]

	* config/isl.m4: Add comments about isl-0.16.
	* configure: Regenerate.

gcc/
	* doc/install.texi: Document that isl-0.16 is supported.
---
 config/isl.m4        |  6 +++---
 configure            | 12 ++++++------
 gcc/doc/install.texi |  2 +-
 3 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/config/isl.m4 b/config/isl.m4
index 0103f1f..92524af 100644
--- a/config/isl.m4
+++ b/config/isl.m4
@@ -106,7 +106,7 @@ AC_DEFUN([ISL_CHECK_VERSION],
     LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} ${gmplibs}"
     LIBS="${_isl_saved_LIBS} -lisl -lgmp"
 
-    AC_MSG_CHECKING([for isl 0.15 (or deprecated 0.14)])
+    AC_MSG_CHECKING([for isl 0.16, 0.15, or deprecated 0.14])
     AC_TRY_LINK([#include <isl/ctx.h>],
                 [isl_ctx_get_max_operations (isl_ctx_alloc ());],
                 [gcc_cv_isl=yes],
@@ -114,10 +114,10 @@ AC_DEFUN([ISL_CHECK_VERSION],
     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])
+      AC_MSG_RESULT([recommended isl version is 0.16 or 0.15, the minimum required isl version 0.14 is deprecated])
     fi
 
-    AC_MSG_CHECKING([for isl-0.15])
+    AC_MSG_CHECKING([for isl 0.16 or 0.15])
     AC_TRY_LINK([#include <isl/schedule.h>],
                 [isl_options_set_schedule_serialize_sccs (NULL, 0);],
                 [ac_has_isl_options_set_schedule_serialize_sccs=yes],
diff --git a/configure b/configure
index b9a4b51..89c863c 100755
--- a/configure
+++ b/configure
@@ -6021,8 +6021,8 @@ $as_echo "$as_me: WARNING: using in-tree isl, disabling version check" >&2;}
     LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} ${gmplibs}"
     LIBS="${_isl_saved_LIBS} -lisl -lgmp"
 
-    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl 0.15 (or deprecated 0.14)" >&5
-$as_echo_n "checking for isl 0.15 (or deprecated 0.14)... " >&6; }
+    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl 0.16, 0.15, or deprecated 0.14" >&5
+$as_echo_n "checking for isl 0.16, 0.15, or deprecated 0.14... " >&6; }
     cat confdefs.h - <<_ACEOF >conftest.$ac_ext
 /* end confdefs.h.  */
 #include <isl/ctx.h>
@@ -6045,12 +6045,12 @@ rm -f core conftest.err conftest.$ac_objext \
 $as_echo "$gcc_cv_isl" >&6; }
 
     if test "${gcc_cv_isl}" = no ; then
-      { $as_echo "$as_me:${as_lineno-$LINENO}: result: recommended isl version is 0.15, minimum required isl version 0.14 is deprecated" >&5
-$as_echo "recommended isl version is 0.15, minimum required isl version 0.14 is deprecated" >&6; }
+      { $as_echo "$as_me:${as_lineno-$LINENO}: result: recommended isl version is 0.16 or 0.15, the minimum required isl version 0.14 is deprecated" >&5
+$as_echo "recommended isl version is 0.16 or 0.15, the minimum required isl version 0.14 is deprecated" >&6; }
     fi
 
-    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl-0.15" >&5
-$as_echo_n "checking for isl-0.15... " >&6; }
+    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl 0.16 or 0.15" >&5
+$as_echo_n "checking for isl 0.16 or 0.15... " >&6; }
     cat confdefs.h - <<_ACEOF >conftest.$ac_ext
 /* end confdefs.h.  */
 #include <isl/schedule.h>
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 062f42c..3df7974 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -383,7 +383,7 @@ installed but it is not in your default library search path, the
 @option{--with-mpc} configure option should be used.  See also
 @option{--with-mpc-lib} and @option{--with-mpc-include}.
 
-@item isl Library version 0.15 or 0.14.
+@item isl Library version 0.16, 0.15, or 0.14.
 
 Necessary to build GCC with the Graphite loop optimizations.
 It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
-- 
2.5.0