summaryrefslogtreecommitdiff
path: root/config/companion_libs.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r--config/companion_libs.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index 9b059f0..e543faa 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -4,9 +4,14 @@
menu "Companion libraries"
+config WRAPPER_NEEDED
+ bool
+ default n
+
config GMP_MPFR
bool
prompt "GMP and MPFR"
+ select WRAPPER_NEEDED
help
gcc 4.3.0 and above requires both GMP and MPFR to build some frontends,
and some other components can use them as well.
@@ -28,6 +33,7 @@ endif
config PPL_CLOOG_MPC
bool
prompt "PPL, GLooG/PPL and MPC"
+ select WRAPPER_NEEDED
help
gcc-4.4.0 and above requires PPL and CLooG/PPL to build some parts
of the optimiser (GRAPHITE loop optimisation, to be precise).