diff options
| author | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-01-29 20:26:04 +0000 |
|---|---|---|
| committer | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-01-29 20:26:04 +0000 |
| commit | ae5394fd7d0243b5688e34da53d3b3251b988ae3 (patch) | |
| tree | c87b090bd45dc25d60d460ab76b87fd93d079c9e /configure | |
| parent | 6b3b345a5d2ebf96ab99012f6e45f51d1b260525 (diff) | |
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 'configure')
| -rwxr-xr-x | configure | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/configure b/configure index b9a4b517046..89c863ca97c 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> |