config/companion_libs.in
changeset 1847 c311bf33c64d
parent 1811 35cf5e2f110a
child 1870 a4c4e51aa541
     1.1 --- a/config/companion_libs.in	Wed Feb 17 23:41:17 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