1 files changed, 0 insertions, 51 deletions
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in
deleted file mode 100644
index 1861e7a..0000000
--- a/config/companion_libs/ppl.in
+++ /dev/null
@@ -1,51 +0,0 @@
-# PPL options
-
-choice
-    bool
-    prompt "PPL version"
-# Don't remove next line
-# CT_INSERT_VERSION_BELOW
-
-config PPL_V_0_11_2
-    bool
-    prompt "0.11.2"
-    select PPL_0_11
-
-config PPL_V_0_11_1
-    bool
-    prompt "0.11.1"
-    select PPL_0_11
-
-config PPL_V_0_11
-    bool
-    prompt "0.11"
-    select PPL_0_11
-
-config PPL_V_0_10_2
-    bool
-    prompt "0.10.2"
-    select PPL_NEEDS_FPERMISSIVE
-
-endchoice
-
-config PPL_VERSION
-    string
-# Don't remove next line
-# CT_INSERT_VERSION_STRING_BELOW
-    default "0.11.2" if PPL_V_0_11_2
-    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.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
-    select PPL_NEEDS_LIBPWL if ! COMPLIBS_SHARED
-
-config PPL_NEEDS_LIBPWL
-    bool