config/debug/duma.in
author Bart vdr. Meulen <bartvdrmeulen@gmail.com>
Fri Apr 09 21:04:24 2010 +0200 (2010-04-09)
changeset 1895 3ea4e6f7b85f
parent 1615 50b25816f5bb
child 2444 896cb0d36c1a
permissions -rw-r--r--
[CT-NG:patch 05/19] Force autoreconf for mpfr

In some exotic case the autoreconf step of mpfr is not executed (correctly)
leaving an incorrect version number for libtool in the configure script.

After extracting the sources files, force autoreconf to be executed.

Signed-off-by: Bart vdr. Meulen <bartvdrmeulen@gmail.com>
     1 # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     2 # depends on ! BACKEND
     3 
     4 config DEBUG_duma
     5     help
     6       D.U.M.A. - Detect Unintended Memory Access
     7       A memory bound checker, with additional features.
     8       Formerly known as Electric Fence.
     9 
    10 config DUMA_A
    11     bool
    12     prompt "Build a static library"
    13     default y
    14 
    15 config DUMA_SO
    16     bool
    17     prompt "Build a shared library"
    18     default y if SHARED_LIBS
    19     default n if ! SHARED_LIBS
    20 
    21 choice
    22     bool
    23     prompt "D.U.M.A. version"
    24 # Don't remove next line
    25 # CT_INSERT_VERSION_BELOW
    26 
    27 config DUMA_V_2_5_15
    28     bool
    29     prompt "2_5_15"
    30 
    31 config DUMA_V_2_5_14
    32     bool
    33     prompt "2_5_14 (OBSOLETE)"
    34     depends on OBSOLETE
    35 
    36 config DUMA_V_2_5_12
    37     bool
    38     prompt "2_5_12 (OBSOLETE)"
    39     depends on OBSOLETE
    40 
    41 config DUMA_V_2_5_8
    42     bool
    43     prompt "2_5_8 (OBSOLETE)"
    44     depends on OBSOLETE
    45 
    46 config DUMA_V_2_5_1
    47     bool
    48     prompt "2_5_1 (OBSOLETE)"
    49     depends on OBSOLETE
    50 
    51 endchoice
    52 
    53 config DUMA_VERSION
    54     string
    55 # Don't remove next line
    56 # CT_INSERT_VERSION_STRING_BELOW
    57     default "2_5_15" if DUMA_V_2_5_15
    58     default "2_5_14" if DUMA_V_2_5_14
    59     default "2_5_12" if DUMA_V_2_5_12
    60     default "2_5_8" if DUMA_V_2_5_8
    61     default "2_5_1" if DUMA_V_2_5_1