config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Oct 16 14:58:29 2011 +0200 (2011-10-16)
branch1.13
changeset 2766 2bc7bf81295a
parent 2444 896cb0d36c1a
child 3142 6569f6a9060c
permissions -rw-r--r--
complibs/cloog: fix extraction

In the early days, cloog-ppl was bizarrely packaged: the first tarball
did not contain the version in the name of the extracted directory, so
we had to play tricks.

Nowadays, however, the first component of the path are stripped when
extracting a tarball, which means that the created directory will
always be properly named. So, our old tricks do no longer work, and
worse, they break the build.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from f070d922facf42b0395b7db909e1867d45b245dd)
     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 config DUMA_V_2_5_14
    30     bool
    31     prompt "2_5_14 (OBSOLETE)"
    32     depends on OBSOLETE
    33 
    34 config DUMA_V_2_5_12
    35     bool
    36     prompt "2_5_12 (OBSOLETE)"
    37     depends on OBSOLETE
    38 
    39 config DUMA_V_2_5_8
    40     bool
    41     prompt "2_5_8 (OBSOLETE)"
    42     depends on OBSOLETE
    43 
    44 config DUMA_V_2_5_1
    45     bool
    46     prompt "2_5_1 (OBSOLETE)"
    47     depends on OBSOLETE
    48 
    49 endchoice
    50 
    51 config DUMA_VERSION
    52     string
    53 # Don't remove next line
    54 # CT_INSERT_VERSION_STRING_BELOW
    55     default "2_5_15" if DUMA_V_2_5_15
    56     default "2_5_14" if DUMA_V_2_5_14
    57     default "2_5_12" if DUMA_V_2_5_12
    58     default "2_5_8" if DUMA_V_2_5_8
    59     default "2_5_1" if DUMA_V_2_5_1