summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorspop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>2016-01-29 20:26:04 +0000
committerspop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>2016-01-29 20:26:04 +0000
commitae5394fd7d0243b5688e34da53d3b3251b988ae3 (patch)
treec87b090bd45dc25d60d460ab76b87fd93d079c9e /config
parent6b3b345a5d2ebf96ab99012f6e45f51d1b260525 (diff)
downloadgcc-ae5394fd7d0243b5688e34da53d3b3251b988ae3.tar.gz
document that isl-0.16 is supported
* config/isl.m4: Add comments about isl-0.16. * configure: Regenerate. gcc/ * doc/install.texi: Document that isl-0.16 is supported. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@232997 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'config')
-rw-r--r--config/isl.m46
1 files changed, 3 insertions, 3 deletions
diff --git a/config/isl.m4 b/config/isl.m4
index 0103f1f3362..92524af32db 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],