config/cc/gcc.in
changeset 2131 469830f72fe7
parent 2124 5dd0b83ae528
child 2149 98b7806295cc
     1.1 --- a/config/cc/gcc.in	Sun Sep 19 18:37:18 2010 +0200
     1.2 +++ b/config/cc/gcc.in	Sun Oct 03 23:11:27 2010 +0200
     1.3 @@ -161,24 +161,24 @@
     1.4  config CC_GCC_USE_GMP_MPFR
     1.5      bool
     1.6      default n
     1.7 -    select GMP
     1.8 -    select MPFR
     1.9 +    select GMP_NEEDED
    1.10 +    select MPFR_NEEDED
    1.11  
    1.12  config CC_GCC_USE_PPL_CLOOG
    1.13      bool
    1.14      default n
    1.15 -    select PPL
    1.16 -    select CLOOG
    1.17 +    select PPL_NEEDED
    1.18 +    select CLOOG_NEEDED
    1.19  
    1.20  config CC_GCC_USE_MPC
    1.21      bool
    1.22      default n
    1.23 -    select MPC
    1.24 +    select MPC_NEEDED
    1.25  
    1.26  config CC_GCC_USE_LIBELF
    1.27      bool
    1.28      default n
    1.29 -    select LIBELF
    1.30 +    select LIBELF_NEEDED
    1.31  
    1.32  config CC_VERSION
    1.33      string