diff -r 3e2f2100a76d -r ead33a889ef9 config/companion_libs/ppl.in
--- a/config/companion_libs/ppl.in	Wed May 02 21:09:29 2012 +0200
+++ b/config/companion_libs/ppl.in	Sun Jan 05 19:44:45 2014 +0100
@@ -24,6 +24,7 @@
 config PPL_V_0_10_2
     bool
     prompt "0.10.2"
+    select PPL_NEEDS_FPERMISSIVE
 
 endchoice
 
@@ -36,6 +37,11 @@
     default "0.11" if PPL_V_0_11
     default "0.10.2" if PPL_V_0_10_2
 
+# For PPL 0.10, we need -fpermissive to build on gcc 4.7+
+# (even gcc-4.6+ ?)
+config PPL_NEEDS_FPERMISSIVE
+    bool
+
 # For PPL 0.11, we need to pull libpwl if configured static
 config PPL_0_11
     bool