summaryrefslogtreecommitdiff
path: root/config/companion_libs.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r--config/companion_libs.in11
1 files changed, 7 insertions, 4 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index 636ca94..1653215 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -46,12 +46,15 @@ source config/companion_libs/cloog.in
source config/companion_libs/mpc.in
endif
-comment "Common companion libraries options"
+config FOO
+ bool
+
+comment "Companion libraries common options"
depends on GMP_MPFR || PPL_CLOOG_MPC
config COMP_LIBS_CHECK
bool
- prompt "Check the companion libraries builds (!!! READ HELP!!!)"
+ prompt "| Check the companion libraries builds (!!! READ HELP!!!)"
depends on GMP_MPFR || PPL_CLOOG_MPC
default n
help
@@ -66,11 +69,11 @@ config COMP_LIBS_CHECK
cause for incorrectly generated code, you should answer 'Y' here.
Note however that this will take a really long time. For example,
building PPL on my machine takes roughly 1'40", while checking it takes
- about 1h30"...
+ about 1h40'...
config COMP_LIBS_TARGET
bool
- prompt "Build companion libraries for the target"
+ prompt "| Build companion libraries for the target"
depends on GMP_MPFR || PPL_CLOOG_MPC
depends on ! BARE_METAL
default n