summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r--config/companion_libs/cloog.in13
1 files changed, 0 insertions, 13 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index e67e79f..99779c9 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -17,16 +17,3 @@ config CLOOG_VERSION
default "0.15.3" if CLOOG_V_0_15_3
# CT_INSERT_VERSION_STRING_ABOVE
# Don't remove above line!
-
-config CLOOG_CHECK
- bool
- prompt "Check CLooG (!!! README !!!)"
- default n
- help
- It is highly recommended to check the newly built CLooG library.
- Unfortunately, this is a very intensive task, and takes a loooong time.
-
- Checking CLooG is thus disabled by default.
-
- If you suspect that your CLooG library is the cause for incorrectly
- generated code, you should answer 'Y' here.