aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorSebastian Pop <sebastian.pop@amd.com>2011-01-25 06:47:58 +0000
committerSebastian Pop <spop@gcc.gnu.org>2011-01-25 06:47:58 +0000
commitab4173cf3b0bcb2872cf396b8b8d643f24a02cd0 (patch)
treeba5fbc22810c763ad4d4edcdbf239b9df2b8a7dd /configure
parentcc2c5a66748eeaa03f23fde313abe367c6e63f45 (diff)
downloadgcc-ab4173cf3b0bcb2872cf396b8b8d643f24a02cd0.zip
gcc-ab4173cf3b0bcb2872cf396b8b8d643f24a02cd0.tar.gz
gcc-ab4173cf3b0bcb2872cf396b8b8d643f24a02cd0.tar.bz2
Fail when PPL 0.11 is not present and CLooG has been requested.
2011-01-25 Sebastian Pop <sebastian.pop@amd.com> * configure.ac: Call AC_MSG_ERROR when PPL 0.11 is not present and CLooG has been requested. * configure: Regenerated. From-SVN: r169215
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure18
1 files changed, 17 insertions, 1 deletions
diff --git a/configure b/configure
index 257888b..b60d136 100755
--- a/configure
+++ b/configure
@@ -5818,6 +5818,22 @@ fi
if test "x$with_ppl" = "xno"; then
with_cloog=no
+
+
+
+
+ if test "x${with_cloog}" != x \
+ || test "x${with_cloog_include}" != x \
+ || test "x${with_cloog_lib}" != x ; then
+ graphite_requested=yes
+ else
+ graphite_requested=no
+ fi
+
+
+ if test "${graphite_requested}" = yes; then
+ as_fn_error "Unable to find a usable PPL. See config.log for details." "$LINENO" 5]
+ fi
fi
if test "x${with_cloog}" = x && test "x${with_cloog_include}" = x \
&& test "x${with_cloog_lib}" = x && test -d ${srcdir}/cloog; then
@@ -6090,7 +6106,7 @@ $as_echo "$gcc_cv_cloog_ct_0_15_5" >&6; }
&& test "x${clooglibs}" = x \
&& test "x${clooginc}" = x ; then
- as_fn_error "Unable to find a usable CLooG. See config.log for details." "$LINENO" 5
+ as_fn_error "Unable to find a usable CLooG. See config.log for details." "$LINENO" 5
fi