diff options
author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-03 12:13:42 +0000 |
---|---|---|
committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-03 12:13:42 +0000 |
commit | eb0346dd29f7d40fe5fc6033b35dd7353e6220a5 (patch) | |
tree | c1ba0791057242c7d2be2f532128772a3d3cd33f /configure.ac | |
parent | 6131243b6fc66b65faa828ff74d6cde6e3332f82 (diff) | |
download | gcc-eb0346dd29f7d40fe5fc6033b35dd7353e6220a5.tar.gz |
2013-09-03 Richard Biener <rguenther@suse.de>
* configure.ac: Also allow ISL 0.12.
* configure: Regenerated.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_8-branch@202214 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 48ec1aae6b4..637da1ea51d 100644 --- a/configure.ac +++ b/configure.ac @@ -1630,6 +1630,9 @@ if test "x$with_isl" != "xno" && ISL_CHECK_VERSION(0,10) if test "${gcc_cv_isl}" = no ; then ISL_CHECK_VERSION(0,11) + if test "${gcc_cv_isl}" = no ; then + ISL_CHECK_VERSION(0,12) + fi fi dnl Only execute fail-action, if ISL has been requested. ISL_IF_FAILED([ |