config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Sep 09 14:15:10 2011 +0200 (2011-09-09)
branch1.12
changeset 2656 9bc6d5555cac
parent 2368 482a006e5b18
child 2957 3e2f2100a76d
permissions -rw-r--r--
debug/gdb: update the version strings

Almost all versions have been renamed, but the gdb folks did not
setup legacy symlinks.

For more information, see this message:
http://sourceware.org/ml/gdb/2011-09/msg00002.html

Reported-by: ManuelStahl <manuel.stahl@iis.fraunhofer.de>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from 32209f462bbb35f3e3c7b260dc643e1183bdd710)
     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     select PPL_0_11
    14 
    15 config PPL_V_0_11_1
    16     bool
    17     prompt "0.11.1 (EXPERIMENTAL)"
    18     depends on EXPERIMENTAL
    19     select PPL_0_11
    20 
    21 config PPL_V_0_11
    22     bool
    23     prompt "0.11 (EXPERIMENTAL)"
    24     depends on EXPERIMENTAL
    25     select PPL_0_11
    26 
    27 config PPL_V_0_10_2
    28     bool
    29     prompt "0.10.2"
    30 
    31 endchoice
    32 
    33 config PPL_VERSION
    34     string
    35 # Don't remove next line
    36 # CT_INSERT_VERSION_STRING_BELOW
    37     default "0.11.2" if PPL_V_0_11_2
    38     default "0.11.1" if PPL_V_0_11_1
    39     default "0.11" if PPL_V_0_11
    40     default "0.10.2" if PPL_V_0_10_2
    41 
    42 # For PPL 0.11, we need to pull libpwl if configured static
    43 config PPL_0_11
    44     bool
    45     select PPL_NEEDS_LIBPWL if ! COMPLIBS_SHARED
    46 
    47 config PPL_NEEDS_LIBPWL
    48     bool