config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Oct 03 23:10:46 2010 +0200 (2010-10-03)
changeset 2130 b46ecc90d3ab
parent 1535 073d351bdcd3
child 2318 11c21c4c5c51
permissions -rw-r--r--
complibs: better deduce whether to backup complibs or not

To decide whether we need to backup the companion libraries,
do not rely on the !shared case. In the future other cases
may require not to save the companion libraries (eg. if using
the ones provided by the host distro).

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # PPL options
     2 
     3 choice
     4     bool
     5     prompt "PPL version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config PPL_V_0_11
    10     bool
    11     prompt "0.11 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config PPL_V_0_10_2
    15     bool
    16     prompt "0.10.2"
    17 
    18 endchoice
    19 
    20 config PPL_VERSION
    21     string
    22 # Don't remove next line
    23 # CT_INSERT_VERSION_STRING_BELOW
    24     default "0.11" if PPL_V_0_11
    25     default "0.10.2" if PPL_V_0_10_2