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>
     1 # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     2 
     3 ## depends on ! BACKEND
     4 
     5 ## help D.U.M.A. - Detect Unintended Memory Access
     6 ## help A memory bound checker, with additional features.
     7 ## help Formerly known as Electric Fence.
     8 
     9 config DUMA_A
    10     bool
    11     prompt "Build a static library"
    12     default y
    13 
    14 config DUMA_SO
    15     bool
    16     prompt "Build a shared library"
    17     default y if SHARED_LIBS
    18 
    19 choice
    20     bool
    21     prompt "D.U.M.A. version"
    22 # Don't remove next line
    23 # CT_INSERT_VERSION_BELOW
    24 
    25 config DUMA_V_2_5_15
    26     bool
    27     prompt "2_5_15"
    28 
    29 endchoice
    30 
    31 config DUMA_VERSION
    32     string
    33 # Don't remove next line
    34 # CT_INSERT_VERSION_STRING_BELOW
    35     default "2_5_15" if DUMA_V_2_5_15