# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1281127375 -7200
# Node ID 72b3996ba3e66d20901682a2668e0b055495848e
# Parent  5526fb72a893f89286d6daa29da0161ca988a1d0
complibs/ppl: add latest version 0.11

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

diff -r 5526fb72a893 -r 72b3996ba3e6 config/companion_libs/ppl.in
--- a/config/companion_libs/ppl.in	Fri Aug 06 00:00:26 2010 +0200
+++ b/config/companion_libs/ppl.in	Fri Aug 06 22:42:55 2010 +0200
@@ -6,6 +6,11 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config PPL_V_0_11
+    bool
+    prompt "0.11 (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+
 config PPL_V_0_10_2
     bool
     prompt "0.10.2"
@@ -16,4 +21,5 @@
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "0.11" if PPL_V_0_11
     default "0.10.2" if PPL_V_0_10_2