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