From: Paolo Bonzini <bonzini@gnu.org>
Date: Sat, 20 Nov 2010 20:31:10 +0000 (+0000)
Subject: sync toplevel with gcc
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ceca02181819391697a61a8190ec2c9a8f042b1c;p=binutils-gdb.git

sync toplevel with gcc
---

diff --git a/ChangeLog b/ChangeLog
index f90cfbe2b27..21e58776893 100644
--- 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 e3d62489e9a..5633e8c32b9 100644
--- 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 96ebd4d134b..e1eb9e83601 100644
--- 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 28f4c9ff986..847727beb86 100755
--- 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