config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Mar 20 00:02:21 2011 +0100 (2011-03-20)
changeset 2339 730e2d63296b
parent 2318 11c21c4c5c51
child 2368 482a006e5b18
permissions -rw-r--r--
scripts: leave changelog in build dir, copy to install dir

Users tend to look for the build log in the current working directory,
rather than in the toolchain's installation dir. While bundling the build
log in the toolchain installation dir is nice for distribution and review,
it can be easier to have the build log readily available in the working
directory, as it is quicker to get to it.

So, the build log stays in the working directory until the toolchain is
completely and successfully built, and then a (compressed) copy is made.

Reported-by: Trevor Woerner <twoerner@gmail.com>
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_2
    10     bool
    11     prompt "0.11.2 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config PPL_V_0_11_1
    15     bool
    16     prompt "0.11.1 (EXPERIMENTAL)"
    17     depends on EXPERIMENTAL
    18 
    19 config PPL_V_0_11
    20     bool
    21     prompt "0.11 (EXPERIMENTAL)"
    22     depends on EXPERIMENTAL
    23 
    24 config PPL_V_0_10_2
    25     bool
    26     prompt "0.10.2"
    27 
    28 endchoice
    29 
    30 config PPL_VERSION
    31     string
    32 # Don't remove next line
    33 # CT_INSERT_VERSION_STRING_BELOW
    34     default "0.11.2" if PPL_V_0_11_2
    35     default "0.11.1" if PPL_V_0_11_1
    36     default "0.11" if PPL_V_0_11
    37     default "0.10.2" if PPL_V_0_10_2