diff -r a1370757e6a1 -r 3f54c8d7f3f9 config/cc/gcc.in --- a/config/cc/gcc.in Wed Feb 17 23:47:47 2010 +0100 +++ b/config/cc/gcc.in Fri Mar 05 18:55:25 2010 +0100 @@ -102,13 +102,23 @@ config CC_GCC_4_3_or_later bool default n - select GMP - select MPFR + select CC_GCC_USE_GMP_MPFR config CC_GCC_4_4_or_later bool default n select CC_GCC_4_3_or_later + select CC_GCC_USE_PPL_CLOOG_MPC + +config CC_GCC_USE_GMP_MPFR + bool + default n + select GMP + select MPFR + +config CC_GCC_USE_PPL_CLOOG_MPC + bool + default n select PPL select CLOOG select MPC