aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2011-01-25 20:47:36 +0100
committerJakub Jelinek <jakub@gcc.gnu.org>2011-01-25 20:47:36 +0100
commit6be7b6686fa5ad8be50dd578a05dfd0f6d478353 (patch)
treef0b865be1687e4a9c82a04e0937540614b4f15ed /configure
parente4cba915b8a3faa7eada627ac25c7093cf8eb926 (diff)
downloadgcc-6be7b6686fa5ad8be50dd578a05dfd0f6d478353.zip
gcc-6be7b6686fa5ad8be50dd578a05dfd0f6d478353.tar.gz
gcc-6be7b6686fa5ad8be50dd578a05dfd0f6d478353.tar.bz2
cloog.m4 (CLOOG_REQUESTED): Use $2 if --without-cloog.
* 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. From-SVN: r169249
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure11
1 files changed, 7 insertions, 4 deletions
diff --git a/configure b/configure
index b60d136..b18d95d 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