config/companion_libs.in
changeset 2131 469830f72fe7
parent 2130 b46ecc90d3ab
child 2208 5aa0516d6738
     1.1 --- a/config/companion_libs.in	Sun Oct 03 23:10:46 2010 +0200
     1.2 +++ b/config/companion_libs.in	Sun Oct 03 23:11:27 2010 +0200
     1.3 @@ -4,6 +4,46 @@
     1.4  
     1.5  menu "Companion libraries"
     1.6  
     1.7 +config COMPLIBS_NEEDED
     1.8 +    bool
     1.9 +    default n
    1.10 +
    1.11 +config GMP_NEEDED
    1.12 +    bool
    1.13 +    default n
    1.14 +    select GMP
    1.15 +    select COMPLIBS_NEEDED
    1.16 +
    1.17 +config MPFR_NEEDED
    1.18 +    bool
    1.19 +    default n
    1.20 +    select MPFR
    1.21 +    select COMPLIBS_NEEDED
    1.22 +
    1.23 +config PPL_NEEDED
    1.24 +    bool
    1.25 +    default n
    1.26 +    select PPL
    1.27 +    select COMPLIBS_NEEDED
    1.28 +
    1.29 +config CLOOG_NEEDED
    1.30 +    bool
    1.31 +    default n
    1.32 +    select CLOOG
    1.33 +    select COMPLIBS_NEEDED
    1.34 +
    1.35 +config MPC_NEEDED
    1.36 +    bool
    1.37 +    default n
    1.38 +    select MPC
    1.39 +    select COMPLIBS_NEEDED
    1.40 +
    1.41 +config LIBELF_NEEDED
    1.42 +    bool
    1.43 +    default n
    1.44 +    select LIBELF
    1.45 +    select COMPLIBS_NEEDED
    1.46 +
    1.47  config COMPLIBS
    1.48      bool
    1.49      default n