config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Aug 06 00:00:26 2010 +0200 (2010-08-06)
changeset 2071 5526fb72a893
parent 1603 e0ef539e23d9
child 2444 896cb0d36c1a
permissions -rw-r--r--
complibs/cloog: with static ppl, correctly link with libm

On some Fedora boxen (at least FC13), it is also required
to link with libm when static ppl is used.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     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