config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Apr 13 23:26:12 2010 +0200 (2010-04-13)
changeset 1912 bcc0d5943bfa
parent 1603 e0ef539e23d9
child 2444 896cb0d36c1a
permissions -rw-r--r--
complibs/gmp: mark 5.0.1 as being experimental

MPFR can't cope with GMP > 4.x.y so hide it behind EXPERIMENTAL
until we fix MPFR
     1 # dmalloc debug facility
     2 # depends on ! BACKEND
     3 
     4 config DEBUG_dmalloc
     5     bool
     6 
     7 choice
     8     bool
     9     prompt "dmalloc version"
    10 # Don't remove next line
    11 # CT_INSERT_VERSION_BELOW
    12 
    13 config DMALLOC_V_5_5_2
    14     bool
    15     prompt "5.5.2"
    16 
    17 endchoice
    18 
    19 config DMALLOC_VERSION
    20     string
    21 # Don't remove next line
    22 # CT_INSERT_VERSION_STRING_BELOW
    23     default "5.5.2" if DMALLOC_V_5_5_2