config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Dec 23 20:43:32 2010 +0100 (2010-12-23)
changeset 2307 2efd46963086
parent 1535 073d351bdcd3
child 2318 11c21c4c5c51
permissions -rw-r--r--
buildtools: move to working directory

There is absolutely *no* reason for the buildtools (wrappers to gcc, g++,
as, ld... for the local machine) to be in the toolchain directory. Moreover,
they are removed after the build completes.

Move them out of the toolchain directory, and into the build directory (but
yet the part specific to the current toolchain). This means we no longer
need to explicitly remove them either, BTW, but we need to save/restore them
for the restart feature.

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