diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-03 10:05:29 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-03 10:05:29 +0000 |
| commit | 078393c760bfdbfc625aae264f9ada931fdec096 (patch) | |
| tree | 4a2898731de261ee8f8531489dc7d0ca4e73aa8b /configure.ac | |
| parent | 87883e3de892e0ed2881ccd7f314f55fb2d4b80b (diff) | |
| download | gcc-078393c760bfdbfc625aae264f9ada931fdec096.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/trunk@202206 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 6f3d801ab06..d72b40a7af9 100644 --- a/configure.ac +++ b/configure.ac @@ -1653,6 +1653,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([ |