config/debug/duma.in
author Bernhard Walle <bernhard@bwalle.de>
Sun May 11 13:00:36 2014 +0200 (2014-05-11)
changeset 3318 579bc9107f99
parent 2484 d1a8c2ae7946
permissions -rw-r--r--
complibs/ppl: Fix build of ppl 0.11.2 with gcc 4.9

From: Roberto Bagnara <bagnara@cs.unipr.it>
Date: Tue, 29 Apr 2014 19:51:43 +0000 (+0200)
Subject: Added missing inclusions. Use std::ptrdiff_t.
X-Git-Url: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl%2Fppl.git;a=commitdiff;h=61d4e14dfd9f1121e9b4521dead5728b2424dd7c

Added missing inclusions. Use std::ptrdiff_t.
(Thanks to Paulo Cesar Pereira de Andrade.)

Signed-off-by: Bernhard Walle <bernhard@bwalle.de>
Message-Id: <5632a171e7c1dc4c0fb5.1399806148@euler.fritz.box>
Patchwork-Id: 347777
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