diff options
author | Sebastian Pop <sebastian.pop@amd.com> | 2011-01-25 06:47:58 +0000 |
---|---|---|
committer | Sebastian Pop <spop@gcc.gnu.org> | 2011-01-25 06:47:58 +0000 |
commit | ab4173cf3b0bcb2872cf396b8b8d643f24a02cd0 (patch) | |
tree | ba5fbc22810c763ad4d4edcdbf239b9df2b8a7dd | |
parent | cc2c5a66748eeaa03f23fde313abe367c6e63f45 (diff) | |
download | gcc-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
-rw-r--r-- | ChangeLog | 6 | ||||
-rwxr-xr-x | configure | 18 | ||||
-rw-r--r-- | configure.ac | 11 |
3 files changed, 31 insertions, 4 deletions
@@ -1,5 +1,11 @@ 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. + +2011-01-25 Sebastian Pop <sebastian.pop@amd.com> + * configure: Regenerated. * configure.ac: Check for version 0.11 (or later revision) of PPL. @@ -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 diff --git a/configure.ac b/configure.ac index a497efe..620723f 100644 --- a/configure.ac +++ b/configure.ac @@ -1689,6 +1689,12 @@ dnl with user input. CLOOG_INIT_FLAGS if test "x$with_ppl" = "xno"; then with_cloog=no + + dnl Only execute fail-action, if CLooG has been requested. + CLOOG_REQUESTED([graphite_requested=yes], [graphite_requested=no]) + if test "${graphite_requested}" = yes; then + AC_MSG_ERROR([Unable to find a usable PPL. See config.log for details.])] + 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 @@ -1702,10 +1708,9 @@ if test "x$with_cloog" != "xno"; then dnl ignored. CLOOG_CHECK_VERSION(0,16,1) - dnl Only execute fail-action, if CLooG has been - dnl requested. + dnl Only execute fail-action, if CLooG has been requested. CLOOG_IF_FAILED([ - AC_MSG_ERROR([Unable to find a usable CLooG. See config.log for details.])]) + AC_MSG_ERROR([Unable to find a usable CLooG. See config.log for details.])]) fi # Check for LTO support. |