diff options
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r-- | config/companion_libs.in | 6 |
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). |