diff options
Diffstat (limited to 'config/cc/gcc.in')
-rw-r--r-- | config/cc/gcc.in | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index 3f336df..053f221 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -102,13 +102,23 @@ endchoice 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 |