diff options
| author | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-11-25 05:29:37 +0000 |
|---|---|---|
| committer | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-11-25 05:29:37 +0000 |
| commit | cff3778cd3294acf482298279e1c23f1278a5338 (patch) | |
| tree | e5b6dada6ea5837b9a3013472008fa68cd2362b0 /configure | |
| parent | 3bcc3204f1790611b754a15f41eb396e6303fed5 (diff) | |
| download | gcc-cff3778cd3294acf482298279e1c23f1278a5338.tar.gz | |
2009-11-21 Sebastian Pop <sebpop@gmail.com>
* configure.ac: Check for version 0.15.5 or later revision of CLooG.
* configure: Regenerated.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154635 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure index 52ca8b20622..d65bbe22dcb 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 |