config/cc/gcc.in
changeset 1848 3f54c8d7f3f9
parent 1808 a1370757e6a1
child 1881 5284cdc29a63
     1.1 --- a/config/cc/gcc.in	Wed Feb 17 23:47:47 2010 +0100
     1.2 +++ b/config/cc/gcc.in	Fri Mar 05 18:55:25 2010 +0100
     1.3 @@ -102,13 +102,23 @@
     1.4  config CC_GCC_4_3_or_later
     1.5      bool
     1.6      default n
     1.7 -    select GMP
     1.8 -    select MPFR
     1.9 +    select CC_GCC_USE_GMP_MPFR
    1.10  
    1.11  config CC_GCC_4_4_or_later
    1.12      bool
    1.13      default n
    1.14      select CC_GCC_4_3_or_later
    1.15 +    select CC_GCC_USE_PPL_CLOOG_MPC
    1.16 +
    1.17 +config CC_GCC_USE_GMP_MPFR
    1.18 +    bool
    1.19 +    default n
    1.20 +    select GMP
    1.21 +    select MPFR
    1.22 +
    1.23 +config CC_GCC_USE_PPL_CLOOG_MPC
    1.24 +    bool
    1.25 +    default n
    1.26      select PPL
    1.27      select CLOOG
    1.28      select MPC