1.1 --- a/config/companion_libs/ppl.in	Wed May 02 21:09:29 2012 +0200
     1.2 +++ b/config/companion_libs/ppl.in	Mon Dec 10 00:25:48 2012 +0100
     1.3 @@ -24,6 +24,7 @@
     1.4  config PPL_V_0_10_2
     1.5      bool
     1.6      prompt "0.10.2"
     1.7 +    select PPL_NEEDS_FPERMISSIVE
     1.8  
     1.9  endchoice
    1.10  
    1.11 @@ -36,6 +37,11 @@
    1.12      default "0.11" if PPL_V_0_11
    1.13      default "0.10.2" if PPL_V_0_10_2
    1.14  
    1.15 +# For PPL 0.10, we need -fpermissive to build on gcc 4.7+
    1.16 +# (even gcc-4.6+ ?)
    1.17 +config PPL_NEEDS_FPERMISSIVE
    1.18 +    bool
    1.19 +
    1.20  # For PPL 0.11, we need to pull libpwl if configured static
    1.21  config PPL_0_11
    1.22      bool