diff options
Diffstat (limited to 'config/companion_libs/ppl.in')
| -rw-r--r-- | config/companion_libs/ppl.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in index a6d4f70a..1861e7a5 100644 --- a/config/companion_libs/ppl.in +++ b/config/companion_libs/ppl.in @@ -24,6 +24,7 @@ config PPL_V_0_11 config PPL_V_0_10_2 bool prompt "0.10.2" + select PPL_NEEDS_FPERMISSIVE endchoice @@ -36,6 +37,11 @@ config PPL_VERSION 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 |