config/cc/gcc.in
changeset 2014 cd9322b076d7
parent 1991 1974075aa641
child 2041 db17513ee7bf
     1.1 --- a/config/cc/gcc.in	Thu Jun 17 21:26:23 2010 +0200
     1.2 +++ b/config/cc/gcc.in	Sat Jul 10 15:25:10 2010 +0200
     1.3 @@ -131,7 +131,7 @@
     1.4      default n
     1.5      select CC_GCC_4_3_or_later
     1.6      select CC_GCC_4_2_or_later
     1.7 -    select CC_GCC_USE_PPL_CLOOG_MPC
     1.8 +    select CC_GCC_USE_PPL_CLOOG
     1.9  
    1.10  config CC_GCC_4_5_or_later
    1.11      bool
    1.12 @@ -139,7 +139,7 @@
    1.13      select CC_GCC_4_4_or_later
    1.14      select CC_GCC_4_3_or_later
    1.15      select CC_GCC_4_2_or_later
    1.16 -    select CC_GCC_USE_LIBELF
    1.17 +    select CC_GCC_USE_MPC_LIBELF
    1.18  
    1.19  config CC_GCC_USE_GMP_MPFR
    1.20      bool
    1.21 @@ -147,16 +147,16 @@
    1.22      select GMP
    1.23      select MPFR
    1.24  
    1.25 -config CC_GCC_USE_PPL_CLOOG_MPC
    1.26 +config CC_GCC_USE_PPL_CLOOG
    1.27      bool
    1.28      default n
    1.29      select PPL
    1.30      select CLOOG
    1.31 -    select MPC
    1.32  
    1.33 -config CC_GCC_USE_LIBELF
    1.34 +config CC_GCC_USE_MPC_LIBELF
    1.35      bool
    1.36      default n
    1.37 +    select MPC
    1.38      select LIBELF
    1.39  
    1.40  config CC_VERSION