aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Grosser <grosser@fim.uni-passau.de>2010-11-19 22:10:27 +0000
committerTobias Grosser <grosser@gcc.gnu.org>2010-11-19 22:10:27 +0000
commit39986460d63899e1e4a1a9ee976c9c21c338f643 (patch)
tree2936b70e5706ba5c3489423c23fd37ef569db9e5
parent28d4beb904bad4a569752ac3522dedd9454637cc (diff)
downloadgcc-39986460d63899e1e4a1a9ee976c9c21c338f643.zip
gcc-39986460d63899e1e4a1a9ee976c9c21c338f643.tar.gz
gcc-39986460d63899e1e4a1a9ee976c9c21c338f643.tar.bz2
* config/cloog.m4: Use AS_HELP_STRING and fix help formatting.
From-SVN: r166962
-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 5328ced..3871d0a 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 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
diff --git a/configure b/configure
index f224ab6..c463e19 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