config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Oct 05 23:59:16 2010 +0200 (2010-10-05)
changeset 2134 af1a779a7f1a
parent 1535 073d351bdcd3
child 2318 11c21c4c5c51
permissions -rw-r--r--
scripts: update distclean

The toolchains are now built in .build/ rather than in targets/
so distclean has to get rid of that.

We also clean up the old dir, as users may have old samples that
still refer to the old location.

Do not hide messages during distclean, and do not ignore errors.

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