diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-01 17:05:50 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-01 17:05:50 (GMT) |
| commit | 3e31171ceabc119523372da2825ad78efaa54fa4 (patch) | |
| tree | de896e91c08b98d090f88550c26d2acc3fa694c0 /config/companion_libs.in | |
| parent | f05ecb83606c325eb7826a5a58457b5c3d34e9f0 (diff) | |
/devel/gcc-4.4:
- just a slight menuconfig beautification in companion libraries menu
-------- diffstat follows --------
/devel/gcc-4.4/config/companion_libs.in | 11 7 4 0 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
Diffstat (limited to 'config/companion_libs.in')
| -rw-r--r-- | config/companion_libs.in | 11 |
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 |