diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-01-25 19:47:36 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-01-25 19:47:36 +0000 |
| commit | f9c26062b6910114b2590ca1095b74732d4de319 (patch) | |
| tree | f0b865be1687e4a9c82a04e0937540614b4f15ed /configure | |
| parent | 114227c38c5fe643aedf3473bcafc9ebccadad39 (diff) | |
| download | gcc-f9c26062b6910114b2590ca1095b74732d4de319.tar.gz | |
* config/cloog.m4 (CLOOG_REQUESTED): Use $2 if --without-cloog.
* configure.ac: If with_ppl is no, move setting with_cloog=no
after CLOOG_REQUESTED check.
* configure: Regenerated.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@169249 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/configure b/configure index b60d13672e4..b18d95d8e0f 100755 --- a/configure +++ b/configure @@ -5817,12 +5817,12 @@ fi if test "x$with_ppl" = "xno"; then - with_cloog=no - - if test "x${with_cloog}" != x \ + if test "x${with_cloog}" = xno; then + graphite_requested=no + elif test "x${with_cloog}" != x \ || test "x${with_cloog_include}" != x \ || test "x${with_cloog_lib}" != x ; then graphite_requested=yes @@ -5834,6 +5834,7 @@ if test "x$with_ppl" = "xno"; then if test "${graphite_requested}" = yes; then as_fn_error "Unable to find a usable PPL. See config.log for details." "$LINENO" 5] fi + with_cloog=no fi if test "x${with_cloog}" = x && test "x${with_cloog_include}" = x \ && test "x${with_cloog_lib}" = x && test -d ${srcdir}/cloog; then @@ -6085,7 +6086,9 @@ $as_echo "$gcc_cv_cloog_ct_0_15_5" >&6; } - if test "x${with_cloog}" != x \ + if test "x${with_cloog}" = xno; then + graphite_requested=no + elif test "x${with_cloog}" != x \ || test "x${with_cloog_include}" != x \ || test "x${with_cloog_lib}" != x ; then graphite_requested=yes |