diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/companion_libs/ppl.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in index 6dbca99..3fe2e6a 100644 --- a/config/companion_libs/ppl.in +++ b/config/companion_libs/ppl.in @@ -10,16 +10,19 @@ config PPL_V_0_11_2 bool prompt "0.11.2 (EXPERIMENTAL)" depends on EXPERIMENTAL + select PPL_0_11 config PPL_V_0_11_1 bool prompt "0.11.1 (EXPERIMENTAL)" depends on EXPERIMENTAL + select PPL_0_11 config PPL_V_0_11 bool prompt "0.11 (EXPERIMENTAL)" depends on EXPERIMENTAL + select PPL_0_11 config PPL_V_0_10_2 bool @@ -35,3 +38,13 @@ config PPL_VERSION default "0.11.1" if PPL_V_0_11_1 default "0.11" if PPL_V_0_11 default "0.10.2" if PPL_V_0_10_2 + +# For PPL 0.11, we need to pull libpwl if configured static +config PPL_0_11 + bool + default n + select PPL_NEEDS_LIBPWL if ! COMPLIBS_SHARED + +config PPL_NEEDS_LIBPWL + bool + default n |