aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorSebastian Pop <sebpop@gmail.com>2009-11-25 05:29:37 +0000
committerSebastian Pop <spop@gcc.gnu.org>2009-11-25 05:29:37 +0000
commitf264ed5676e95daa57c0f333f0e44a0cce99de54 (patch)
treee5b6dada6ea5837b9a3013472008fa68cd2362b0 /configure
parent2bc529bf7d9fa18d85c06b34063ff5b3a8cfacd9 (diff)
downloadgcc-f264ed5676e95daa57c0f333f0e44a0cce99de54.zip
gcc-f264ed5676e95daa57c0f333f0e44a0cce99de54.tar.gz
gcc-f264ed5676e95daa57c0f333f0e44a0cce99de54.tar.bz2
configure.ac: Check for version 0.15.5 or later revision of CLooG.
2009-11-21 Sebastian Pop <sebpop@gmail.com> * configure.ac: Check for version 0.15.5 or later revision of CLooG. * configure: Regenerated. From-SVN: r154635
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure
index 52ca8b2..d65bbe2 100755
--- a/configure
+++ b/configure
@@ -5897,8 +5897,8 @@ fi
if test "x$with_cloog" != "xno" -a "${ENABLE_CLOOG_CHECK}" = "yes"; then
saved_CFLAGS="$CFLAGS"
CFLAGS="$CFLAGS $clooginc $gmpinc $pplinc"
- { $as_echo "$as_me:${as_lineno-$LINENO}: checking for correct version of CLooG" >&5
-$as_echo_n "checking for correct version of CLooG... " >&6; }
+ { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.15.5 (or later revision) of CLooG" >&5
+$as_echo_n "checking for version 0.15.5 (or later revision) of CLooG... " >&6; }
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
/* end confdefs.h. */
#include "cloog/cloog.h"
@@ -5906,7 +5906,7 @@ int
main ()
{
- #if CLOOG_VERSION_MAJOR != 0 || CLOOG_VERSION_MINOR != 15
+ #if CLOOG_VERSION_MAJOR != 0 || CLOOG_VERSION_MINOR != 15 || CLOOG_VERSION_REVISION < 5
choke me
#endif