config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 30 00:57:40 2009 +0200 (2009-08-30)
changeset 1495 2542421e3321
parent 1436 3cfa075e88b3
child 1534 d4ddf19a1968
permissions -rw-r--r--
tools wrapper: introduce the silent WRAPPER_NEEDED config option

Add the WRAPPER_NEEDED silent config option, that can be selected by
components that require it (companion libs so far).
Rely on this config option when deciding to install the wrapper,
instead of checking GMP/MPFR or PPL/CLoog/MPC.
     1 # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     2 
     3 config DEBUG_duma
     4     help
     5       D.U.M.A. - Detect Unintended Memory Access
     6       A memory bound checker, with additional features.
     7       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 
    24 config DUMA_V_2_5_1
    25     bool
    26     prompt "2_5_1"
    27 
    28 config DUMA_V_2_5_8
    29     bool
    30     prompt "2_5_8"
    31 
    32 config DUMA_V_2_5_12
    33     bool
    34     prompt "2_5_12"
    35 
    36 config DUMA_V_2_5_14
    37     bool
    38     prompt "2_5_14"
    39 
    40 config DUMA_V_2_5_15
    41     bool
    42     prompt "2_5_15"
    43 
    44 # CT_INSERT_VERSION_ABOVE
    45 # Don't remove above line!
    46 endchoice
    47 
    48 config DUMA_VERSION
    49     string
    50     default "2_5_1" if DUMA_V_2_5_1
    51     default "2_5_8" if DUMA_V_2_5_8
    52     default "2_5_12" if DUMA_V_2_5_12
    53     default "2_5_14" if DUMA_V_2_5_14
    54     default "2_5_15" if DUMA_V_2_5_15
    55 # CT_INSERT_VERSION_STRING_ABOVE
    56 # Don't remove above line!