2011-07-21 Tobias Grosser <tob...@grosser.es>
* configure: Regenerated.
* configure.ac: Require cloog isl 0.16.3
Signed-off-by: Sebastian Pop <seb...@gmail.com>
---
ChangeLog | 5 +++++
configure | 6 +++---
configure.ac | 2 +-
3 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index aeb3f14..0c721d3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,11 @@
2011-07-21 Tobias Grosser <tob...@grosser.es>
* configure: Regenerated.
+ * configure.ac: Require cloog isl 0.16.3
+
+2011-07-21 Tobias Grosser <tob...@grosser.es>
+
+ * configure: Regenerated.
* config/cloog.m4: Remove support for CLooG-ppl and CLooG-parma,
both cloog.org and legacy versions. The only supported version will
be CLooG with the isl backend.
diff --git a/configure b/configure
index fbb29e0..86aa457 100755
--- a/configure
+++ b/configure
@@ -5835,8 +5835,8 @@ $as_echo "$gcc_cv_cloog_type" >&6; }
CFLAGS="${_cloog_saved_CFLAGS} ${clooginc} ${pplinc} ${gmpinc}"
LDFLAGS="${_cloog_saved_LDFLAGS} ${clooglibs} ${ppllibs}"
- { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.16.1 of
CLooG" >&5
-$as_echo_n "checking for version 0.16.1 of CLooG... " >&6; }
+ { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.16.3 of
CLooG" >&5
+$as_echo_n "checking for version 0.16.3 of CLooG... " >&6; }
if test "${gcc_cv_cloog+set}" = set; then :
$as_echo_n "(cached) " >&6
else
@@ -5848,7 +5848,7 @@ main ()
{
#if CLOOG_VERSION_MAJOR != 0 \
|| CLOOG_VERSION_MINOR != 16 \
- || CLOOG_VERSION_REVISION < 1
+ || CLOOG_VERSION_REVISION < 3
choke me
#endif
;
diff --git a/configure.ac b/configure.ac
index 4cf1160..0ef2180 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1589,7 +1589,7 @@ if test "x$with_cloog" != "xno"; then
dnl
dnl If we use CLooG-Legacy, the provided version information is
dnl ignored.
- CLOOG_CHECK_VERSION(0,16,1)
+ CLOOG_CHECK_VERSION(0,16,3)
dnl Only execute fail-action, if CLooG has been requested.
CLOOG_IF_FAILED([
--
1.7.4.1
