From 560d18d3ed805fce952e8c2be9dc022619fe8cfb Mon Sep 17 00:00:00 2001 From: Aditya Kumar Date: Wed, 16 Dec 2015 17:27:57 +0000 Subject: 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 From-SVN: r231706 --- gcc/toplev.c | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'gcc/toplev.c') 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, -- cgit v1.1