config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Dec 19 12:44:21 2009 +0100 (2009-12-19)
branch1.5
changeset 1706 5360c810222d
parent 1534 d4ddf19a1968
child 1615 50b25816f5bb
permissions -rw-r--r--
scripts: check for, and warn about an unset CT_PREFIX_DIR

The user shall provide a directory to install the toolchain into.
If he/she does not, this is an error, and shall be detected properly,
rather than relying on failure down the road.

Thanks to "Pedro I. Sanchez" <psanchez@colcan.ca> for pointing out
the issue:
http://sourceware.org/ml/crossgcc/2009-12/msg00011.html
(transplanted from e94f4ffddd1d07b3841160db71694cd19fda6b03)
     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 # 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"
    33 
    34 config DUMA_V_2_5_12
    35     bool
    36     prompt "2_5_12"
    37 
    38 config DUMA_V_2_5_8
    39     bool
    40     prompt "2_5_8"
    41 
    42 config DUMA_V_2_5_1
    43     bool
    44     prompt "2_5_1"
    45 
    46 endchoice
    47 
    48 config DUMA_VERSION
    49     string
    50 # Don't remove next line
    51 # CT_INSERT_VERSION_STRING_BELOW
    52     default "2_5_15" if DUMA_V_2_5_15
    53     default "2_5_14" if DUMA_V_2_5_14
    54     default "2_5_12" if DUMA_V_2_5_12
    55     default "2_5_8" if DUMA_V_2_5_8
    56     default "2_5_1" if DUMA_V_2_5_1