config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed May 18 23:00:46 2011 +0200 (2011-05-18)
changeset 2467 200836977ce6
parent 1844 4d6a56579d9d
child 2484 d1a8c2ae7946
permissions -rw-r--r--
config: rename variables that are arrays

Make it explicit that a variable is an array bu the name of the variable.
It will be used later when .config gets munged to allow both multiple
arguments and arguments with spaces at the same time to be passed from the
configuration down to the build scripts.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     2 
     3 ## depends on ! BACKEND
     4 
     5 ## help D.U.M.A. - Detect Unintended Memory Access
     6 ## help A memory bound checker, with additional features.
     7 ## help Formerly known as Electric Fence.
     8 
     9 config DUMA_A
    10     bool
    11     prompt "Build a static library"
    12     default y
    13 
    14 config DUMA_SO
    15     bool
    16     prompt "Build a shared library"
    17     default y if SHARED_LIBS
    18     default n if ! SHARED_LIBS
    19 
    20 choice
    21     bool
    22     prompt "D.U.M.A. version"
    23 # Don't remove next line
    24 # CT_INSERT_VERSION_BELOW
    25 
    26 config DUMA_V_2_5_15
    27     bool
    28     prompt "2_5_15"
    29 
    30 config DUMA_V_2_5_14
    31     bool
    32     prompt "2_5_14 (OBSOLETE)"
    33     depends on OBSOLETE
    34 
    35 config DUMA_V_2_5_12
    36     bool
    37     prompt "2_5_12 (OBSOLETE)"
    38     depends on OBSOLETE
    39 
    40 config DUMA_V_2_5_8
    41     bool
    42     prompt "2_5_8 (OBSOLETE)"
    43     depends on OBSOLETE
    44 
    45 config DUMA_V_2_5_1
    46     bool
    47     prompt "2_5_1 (OBSOLETE)"
    48     depends on OBSOLETE
    49 
    50 endchoice
    51 
    52 config DUMA_VERSION
    53     string
    54 # Don't remove next line
    55 # CT_INSERT_VERSION_STRING_BELOW
    56     default "2_5_15" if DUMA_V_2_5_15
    57     default "2_5_14" if DUMA_V_2_5_14
    58     default "2_5_12" if DUMA_V_2_5_12
    59     default "2_5_8" if DUMA_V_2_5_8
    60     default "2_5_1" if DUMA_V_2_5_1