config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 13 10:32:38 2008 +0000 (2008-07-13)
changeset 645 8e58024f8e37
parent 430 5b7efc8dbf85
child 850 ef8549b58b6f
permissions -rw-r--r--
Ioannis E. VENETIS <venetis@mail.capsl.udel.edu> pointed out that GMP and MPFR were not used by gcc.
Turned out that none could use GMP and MPFR as the config option changed its name, but the change was not propagated to all users.

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