complibs: hide prompts
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Mar 05 18:22:53 2010 +0100 (2010-03-05)
changeset 1847c311bf33c64d
parent 1846 4220dec659c6
child 1848 3f54c8d7f3f9
complibs: hide prompts
config/companion_libs.in
     1.1 --- a/config/companion_libs.in	Fri Mar 19 18:46:57 2010 +0100
     1.2 +++ b/config/companion_libs.in	Fri Mar 05 18:22:53 2010 +0100
     1.3 @@ -16,7 +16,6 @@
     1.4  
     1.5  config GMP
     1.6      bool
     1.7 -    prompt "GMP"
     1.8      select COMPLIBS
     1.9      select WRAPPER_NEEDED
    1.10      help
    1.11 @@ -34,7 +33,6 @@
    1.12  
    1.13  config MPFR
    1.14      bool
    1.15 -    prompt "MPFR"
    1.16      select GMP
    1.17      select COMPLIBS
    1.18      select WRAPPER_NEEDED
    1.19 @@ -53,7 +51,6 @@
    1.20  
    1.21  config PPL
    1.22      bool
    1.23 -    prompt "PPL"
    1.24      select GMP
    1.25      select MPFR
    1.26      select COMPLIBS
    1.27 @@ -68,7 +65,6 @@
    1.28  
    1.29  config CLOOG
    1.30      bool
    1.31 -    prompt "GLooG/PPL"
    1.32      select GMP
    1.33      select MPFR
    1.34      select PPL
    1.35 @@ -84,7 +80,6 @@
    1.36  
    1.37  config MPC
    1.38      bool
    1.39 -    prompt "MPC"
    1.40      select GMP
    1.41      select MPFR
    1.42      select PPL
    1.43 @@ -102,7 +97,6 @@
    1.44  
    1.45  config LIBELF
    1.46      bool
    1.47 -#    prompt "libelf"
    1.48      select COMPLIBS
    1.49      select WRAPPER_NEEDED
    1.50      help