diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-05 17:55:25 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-05 17:55:25 (GMT) |
commit | 8e47201cf2c9c6a47385e2b7e65aed6715044cb4 (patch) | |
tree | 7bcaf0095ac15c068c5de5edf14574711f8be465 /config/cc/gcc.in | |
parent | 99078431ad3efdbd8dc1fc5eace91a3cde2cc966 (diff) |
cc/gcc: fix use of companion libraries
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 |