summaryrefslogtreecommitdiff
path: root/config/cloog.m4
diff options
context:
space:
mode:
Diffstat (limited to 'config/cloog.m4')
-rw-r--r--config/cloog.m47
1 files changed, 3 insertions, 4 deletions
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