diff options
| author | Aditya Kumar <aditya.k7@samsung.com> | 2015-12-16 17:27:57 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2015-12-16 17:27:57 +0000 |
| commit | 560d18d3ed805fce952e8c2be9dc022619fe8cfb (patch) | |
| tree | 1bd0fb9442c0902f334dea6a379612493333318f /gcc/toplev.c | |
| parent | 2994ab20f1702205ad1be6ef120d0460b236ae7c (diff) | |
| download | gcc-560d18d3ed805fce952e8c2be9dc022619fe8cfb.zip gcc-560d18d3ed805fce952e8c2be9dc022619fe8cfb.tar.gz gcc-560d18d3ed805fce952e8c2be9dc022619fe8cfb.tar.bz2 | |
update required isl version
we check for a the isl compute timeout function added in isl 0.13.
That means GCC could still be configured with isl 0.13, 0.14, and 0.15.
* config/isl.m4 (ISL_CHECK_VERSION): Check for
isl_ctx_get_max_operations.
* configure: Regenerate.
gcc/
* config.in: Regenerate.
* configure: Regenerate.
* configure.ac: Remove checks for functions that exist in isl 0.13 or
later.
* graphite-isl-ast-to-gimple.c: Remove #ifdefs and code for isl 0.12.
* graphite-optimize-isl.c: Same.
* graphite-poly.c: Same.
* graphite-sese-to-poly.c: Same.
* graphite.h: Add comment for isl 0.14.
* toplev.c (print_version): Print isl version.
Co-Authored-By: Sebastian Pop <s.pop@samsung.com>
From-SVN: r231706
Diffstat (limited to 'gcc/toplev.c')
| -rw-r--r-- | gcc/toplev.c | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gcc/toplev.c b/gcc/toplev.c index 6811004..43b46d2 100644 --- a/gcc/toplev.c +++ b/gcc/toplev.c @@ -640,7 +640,7 @@ print_version (FILE *file, const char *indent, bool show_global_state) #endif ; static const char fmt2[] = - N_("GMP version %s, MPFR version %s, MPC version %s\n"); + N_("GMP version %s, MPFR version %s, MPC version %s, isl version %s\n"); static const char fmt3[] = N_("%s%swarning: %s header version %s differs from library version %s.\n"); static const char fmt4[] = @@ -674,7 +674,15 @@ print_version (FILE *file, const char *indent, bool show_global_state) #endif fprintf (file, file == stderr ? _(fmt2) : fmt2, - GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING); + GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING, +#ifndef HAVE_isl + "none" +#elif HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS + "0.15" +#else + "0.14 or 0.13" +#endif + ); if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version)) fprintf (file, file == stderr ? _(fmt3) : fmt3, |