aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorPaolo Bonzini <bonzini@gnu.org>2010-11-20 20:31:10 +0000
committerPaolo Bonzini <bonzini@gnu.org>2010-11-20 20:31:10 +0000
commitceca02181819391697a61a8190ec2c9a8f042b1c (patch)
treeab6aa1c95317de5d009433de0d706fd9941bd1e5 /config
parent9b980aa1edeb440c40b001070e82a5461ac15d18 (diff)
downloadgdb-ceca02181819391697a61a8190ec2c9a8f042b1c.zip
gdb-ceca02181819391697a61a8190ec2c9a8f042b1c.tar.gz
gdb-ceca02181819391697a61a8190ec2c9a8f042b1c.tar.bz2
sync toplevel with gcc
Diffstat (limited to 'config')
-rw-r--r--config/ChangeLog18
-rw-r--r--config/cloog.m47
2 files changed, 21 insertions, 4 deletions
diff --git a/config/ChangeLog b/config/ChangeLog
index e3d6248..5633e8c 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 96ebd4d..e1eb9e8 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