summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>2010-11-19 22:10:27 +0000
committergrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>2010-11-19 22:10:27 +0000
commit8cc5f86b3b194c6bd880cfe1c1be261116e3e130 (patch)
tree2936b70e5706ba5c3489423c23fd37ef569db9e5
parent27b1bdf732a8cec860064d33d7cafe4f6835d3f3 (diff)
downloadgcc-8cc5f86b3b194c6bd880cfe1c1be261116e3e130.tar.gz
* config/cloog.m4: Use AS_HELP_STRING and fix help formatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@166962 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--ChangeLog4
-rw-r--r--config/cloog.m47
-rwxr-xr-xconfigure7
3 files changed, 10 insertions, 8 deletions
diff --git a/ChangeLog b/ChangeLog
index 5328cedd2b4..3871d0a9a56 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-11-19 Tobias Grosser <grosser@fim.uni-passau.de>
+
+ * config/cloog.m4: Use AS_HELP_STRING and fix help formatting.
+
2010-11-19 Ian Lance Taylor <iant@google.com>
Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
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 f224ab61915..c463e198d0a 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