sync toplevel with gcc

diff --git a/ChangeLog b/ChangeLog
index f90cfbe2b27f4e071313c08693d0534c9e171ae7..21e587768930c978615e8b87598f4a0ad3bd3813 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-11-20  Paolo Bonzini  <bonzini@gnu.org>
+
+       * configure: Regenerate.
+
 2010-11-20  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 
        PR other/46202

diff --git a/config/ChangeLog b/config/ChangeLog
index e3d62489e9a13284a3e017a16ad363120d7625d1..5633e8c32b97ad1273dd3edc9b5235b2e4af5fa1 100644 (file)
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -2,6 +2,24 @@
 
        * cloog.m4 (CLOOG_INIT_FLAGS): Fix spelling in option names.
 
+2010-11-12  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+       * cloog.m4: Add -enable-cloog-backend=(isl|ppl|ppl-legacy) to
+       define the cloog backend to use. Furthermore, only pass the ppllibs to
+       the configure checks, if necessary.
+
+2010-11-12  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+       * cloog.m4: Use CLooG predefined macro to check for CLooG PPL.
+
+2010-11-12  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+       * cloog.m4: Fix typo.  verison -> version.
+
+2010-11-12  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+       * cloog.m4: Pass ppl libraries to the CLooG version check.
+
 2010-11-11  Jan Hubicka  <jh@suse.cz>
 
        * bootstrap-lto: Use -flto.

diff --git a/config/cloog.m4 b/config/cloog.m4
index 96ebd4d134ba1f8f31adf7af6d2f288225956f4d..e1eb9e836012450dd4b0baf2ab6797eee221c5ae 100644 (file)
--- a/config/cloog.m4
+++ b/config/cloog.m4
@@ -38,10 +38,9 @@ AC_DEFUN([CLOOG_INIT_FLAGS],
       [Specify the directory for the installed CLooG library])])
 
   AC_ARG_ENABLE(cloog-backend,
-    [  --enable-cloog-backend[=backend]
-                               isl: The cloog.org isl backend
-                               ppl-legacy: The legacy ppl backend - default
-                               ppl: The cloog.org ppl backend],
+    [AS_HELP_STRING(
+      [--enable-cloog-backend[[=BACKEND]]],
+      [set the CLooG BACKEND used to either isl, ppl or ppl-legacy (default)])],
     [ if   test "x${enableval}" = "xisl"; then
        cloog_backend=isl
       elif test "x${enableval}" = "xppl"; then

diff --git a/configure b/configure
index 28f4c9ff986ab4d76fe80e83f991114fa7f29e4f..847727beb86fa5881376d73df49714bb5ff8e9b8 100755 (executable)
--- a/configure
+++ b/configure
@@ -1455,10 +1455,9 @@ Optional Features:
   --enable-libssp         build libssp directory
   --enable-build-with-cxx build with C++ compiler instead of C compiler
   --disable-ppl-version-check    disable check for PPL version
-  --enable-cloog-backend=backend
-                               isl: The cloog.org isl backend
-                               ppl-legacy: The legacy ppl backend - default
-                               ppl: The cloog.org ppl backend
+  --enable-cloog-backend[=BACKEND]
+                          set the CLooG BACKEND used to either isl, ppl or
+                          ppl-legacy (default)
   --disable-cloog-version-check
                           disable check for CLooG version
   --enable-lto            enable link time optimization support