config/companion_libs.in
changeset 1495 2542421e3321
parent 1407 83083566fdd0
child 1496 75a766c20552
     1.1 --- a/config/companion_libs.in	Sun Jun 14 22:56:26 2009 +0200
     1.2 +++ b/config/companion_libs.in	Sun Aug 30 00:57:40 2009 +0200
     1.3 @@ -4,9 +4,14 @@
     1.4  
     1.5  menu "Companion libraries"
     1.6  
     1.7 +config WRAPPER_NEEDED
     1.8 +    bool
     1.9 +    default n
    1.10 +
    1.11  config GMP_MPFR
    1.12      bool
    1.13      prompt "GMP and MPFR"
    1.14 +    select WRAPPER_NEEDED
    1.15      help
    1.16        gcc 4.3.0 and above requires both GMP and MPFR to build some frontends,
    1.17        and some other components can use them as well.
    1.18 @@ -28,6 +33,7 @@
    1.19  config PPL_CLOOG_MPC
    1.20      bool
    1.21      prompt "PPL, GLooG/PPL and MPC"
    1.22 +    select WRAPPER_NEEDED
    1.23      help
    1.24        gcc-4.4.0 and above requires PPL and CLooG/PPL to build some parts
    1.25        of the optimiser (GRAPHITE loop optimisation, to be precise).