diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/companion_libs.in | 6 | ||||
-rw-r--r-- | config/toolchain.in | 1 |
2 files changed, 7 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). diff --git a/config/toolchain.in b/config/toolchain.in index 0aae112..14db552 100644 --- a/config/toolchain.in +++ b/config/toolchain.in @@ -305,6 +305,7 @@ comment "Host specifics" choice bool prompt "| Install tools wrapper as:" + depends on WRAPPER_NEEDED default TOOLS_WRAPPER_SHELL config TOOLS_WRAPPER_SCRIPT |