1.1 --- a/config/companion_libs.in Mon May 25 20:04:12 2009 +0000
1.2 +++ b/config/companion_libs.in Mon Jun 01 17:05:50 2009 +0000
1.3 @@ -46,12 +46,15 @@
1.4 source config/companion_libs/mpc.in
1.5 endif
1.6
1.7 -comment "Common companion libraries options"
1.8 +config FOO
1.9 + bool
1.10 +
1.11 +comment "Companion libraries common options"
1.12 depends on GMP_MPFR || PPL_CLOOG_MPC
1.13
1.14 config COMP_LIBS_CHECK
1.15 bool
1.16 - prompt "Check the companion libraries builds (!!! READ HELP!!!)"
1.17 + prompt "| Check the companion libraries builds (!!! READ HELP!!!)"
1.18 depends on GMP_MPFR || PPL_CLOOG_MPC
1.19 default n
1.20 help
1.21 @@ -66,11 +69,11 @@
1.22 cause for incorrectly generated code, you should answer 'Y' here.
1.23 Note however that this will take a really long time. For example,
1.24 building PPL on my machine takes roughly 1'40", while checking it takes
1.25 - about 1h30"...
1.26 + about 1h40'...
1.27
1.28 config COMP_LIBS_TARGET
1.29 bool
1.30 - prompt "Build companion libraries for the target"
1.31 + prompt "| Build companion libraries for the target"
1.32 depends on GMP_MPFR || PPL_CLOOG_MPC
1.33 depends on ! BARE_METAL
1.34 default n