config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Oct 03 18:49:23 2009 +0200 (2009-10-03)
changeset 1560 79a609170a83
parent 850 ef8549b58b6f
child 1534 d4ddf19a1968
permissions -rw-r--r--
configure: split has_or_abort in two: one to check, one to abort

Split the has_or_abort function in two:
- one that checks if the tool if found,
- one that calls the above check, and aborts if not found

The rational behind this is to be able to check for a tool
and if not found, fallback to using our bundled version,
should the need arise (and I get time).
yann@103
     1
# dmalloc debug facility
yann@103
     2
yann@916
     3
config DEBUG_dmalloc
yann@103
     4
    bool
yann@103
     5
yann@103
     6
choice
yann@103
     7
    bool
yann@103
     8
    prompt "dmalloc version"
yann@103
     9
yann@103
    10
config DMALLOC_V_5_4_3
yann@103
    11
    bool
yann@330
    12
    prompt "5.4.3 (OBSOLETE)"
yann@103
    13
    depends on OBSOLETE
yann@103
    14
yann@103
    15
config DMALLOC_V_5_5_2
yann@103
    16
    bool
yann@103
    17
    prompt "5.5.2"
yann@103
    18
yann@103
    19
# CT_INSERT_VERSION_ABOVE
yann@103
    20
# Don't remove above line!
yann@103
    21
endchoice
yann@103
    22
yann@103
    23
config DMALLOC_VERSION
yann@103
    24
    string
yann@103
    25
    default "5.4.3" if DMALLOC_V_5_4_3
yann@103
    26
    default "5.5.2" if DMALLOC_V_5_5_2
yann@103
    27
# CT_INSERT_VERSION_STRING_ABOVE
yann@103
    28
# Don't remove above line!