config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Thu Dec 27 12:53:32 2012 +0100 (2012-12-27)
changeset 3153 f6740f9e42de
parent 2484 d1a8c2ae7946
permissions -rw-r--r--
scripts/addToolsVersion: handle elf2flt

The one was missing from the list.

It is very improbable that we ever need it, as elf2flt does no release,
and we always get it from CVS head. But for the sake of consistency, we
just add it.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.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 
    19 choice
    20     bool
    21     prompt "D.U.M.A. version"
    22 # Don't remove next line
    23 # CT_INSERT_VERSION_BELOW
    24 
    25 config DUMA_V_2_5_15
    26     bool
    27     prompt "2_5_15"
    28 
    29 endchoice
    30 
    31 config DUMA_VERSION
    32     string
    33 # Don't remove next line
    34 # CT_INSERT_VERSION_STRING_BELOW
    35     default "2_5_15" if DUMA_V_2_5_15