config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Mon Feb 25 21:19:31 2013 +0100 (2013-02-25)
changeset 3185 f89f8e6f8766
parent 2484 d1a8c2ae7946
permissions -rw-r--r--
Makefile: fix parrallel (-j) installs

Currently, we would remove previously installed patches before
installing the new ones. Unfortunately, that does not play well
with heavily parallel installs.

Now, we consider it is the responsibility of the user to first
uninstall any previous version before installing a new one.

Reported-by: Markos Chandras <markos.chandras@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
yann@236
     1
# D.U.M.A. - Detect Unintended Memory Access - Memory checker
yann@236
     2
yann@2444
     3
## depends on ! BACKEND
yann@2444
     4
yann@2444
     5
## help D.U.M.A. - Detect Unintended Memory Access
yann@2444
     6
## help A memory bound checker, with additional features.
yann@2444
     7
## help Formerly known as Electric Fence.
yann@236
     8
yann@236
     9
config DUMA_A
yann@236
    10
    bool
yann@236
    11
    prompt "Build a static library"
yann@236
    12
    default y
yann@236
    13
yann@236
    14
config DUMA_SO
yann@236
    15
    bool
yann@236
    16
    prompt "Build a shared library"
yann@236
    17
    default y if SHARED_LIBS
yann@236
    18
yann@236
    19
choice
yann@236
    20
    bool
yann@236
    21
    prompt "D.U.M.A. version"
yann@1535
    22
# Don't remove next line
yann@1535
    23
# CT_INSERT_VERSION_BELOW
yann@236
    24
yann@1534
    25
config DUMA_V_2_5_15
yann@236
    26
    bool
yann@1534
    27
    prompt "2_5_15"
yann@1534
    28
yann@236
    29
endchoice
yann@236
    30
yann@236
    31
config DUMA_VERSION
yann@236
    32
    string
yann@1535
    33
# Don't remove next line
yann@1535
    34
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    35
    default "2_5_15" if DUMA_V_2_5_15