summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-05 17:55:25 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-05 17:55:25 (GMT)
commit8e47201cf2c9c6a47385e2b7e65aed6715044cb4 (patch)
tree7bcaf0095ac15c068c5de5edf14574711f8be465 /config
parent99078431ad3efdbd8dc1fc5eace91a3cde2cc966 (diff)
cc/gcc: fix use of companion libraries
Diffstat (limited to 'config')
-rw-r--r--config/cc/gcc.in14
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