config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Oct 08 11:57:03 2008 +0000 (2008-10-08)
changeset 910 9db42913e2ae
parent 572 944e145f3890
child 916 68af6b83ff7e
permissions -rw-r--r--
populate:
- add an option to force installation of listed libraries,
- add an option to read a file listing libraries of which to force installation.

/trunk/tools/populate.in | 126 104 22 0 +++++++++++++++++++++++++++++++++++++++++++++---------
1 file changed, 104 insertions(+), 22 deletions(-)
     1 # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     2 
     3 menuconfig DUMA
     4     bool
     5     prompt "D.U.M.A."
     6     default n
     7     depends on ! BARE_METAL
     8     help
     9       D.U.M.A. - Detect Unintended Memory Access
    10       A memory bound checker, with additional features.
    11       Formerly known as Electric Fence.
    12 
    13 if DUMA
    14 
    15 config DUMA_A
    16     bool
    17     prompt "Build a static library"
    18     default y
    19 
    20 config DUMA_SO
    21     bool
    22     prompt "Build a shared library"
    23     default y if SHARED_LIBS
    24     default n if ! SHARED_LIBS
    25 
    26 choice
    27     bool
    28     prompt "D.U.M.A. version"
    29 
    30 config DUMA_V_2_5_1
    31     bool
    32     prompt "2_5_1"
    33 
    34 config DUMA_V_2_5_8
    35     bool
    36     prompt "2_5_8"
    37 
    38 config DUMA_V_2_5_12
    39     bool
    40     prompt "2_5_12"
    41 
    42 config DUMA_V_2_5_14
    43     bool
    44     prompt "2_5_14"
    45 
    46 # CT_INSERT_VERSION_ABOVE
    47 # Don't remove above line!
    48 endchoice
    49 
    50 config DUMA_VERSION
    51     string
    52     default "2_5_1" if DUMA_V_2_5_1
    53     default "2_5_8" if DUMA_V_2_5_8
    54     default "2_5_12" if DUMA_V_2_5_12
    55     default "2_5_14" if DUMA_V_2_5_14
    56 # CT_INSERT_VERSION_STRING_ABOVE
    57 # Don't remove above line!
    58 
    59 endif