config/libc/mingw.in
author Bernhard Walle <bernhard@bwalle.de>
Sun May 11 13:00:36 2014 +0200 (2014-05-11)
changeset 3318 579bc9107f99
parent 3112 6cb56b3f2d34
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
bartvdrmeulen@2017
     1
# mingw options
bartvdrmeulen@2017
     2
diorcet@3112
     3
## depends on WINDOWS
yann@2444
     4
##
yann@2444
     5
## select LIBC_SUPPORT_WIN32THREADS
diorcet@3131
     6
## select CC_CORE_PASSES_NEEDED
yann@2444
     7
##
yann@2444
     8
## help The de-facto standard for Mingw distributions.
bartvdrmeulen@2017
     9
bartvdrmeulen@2017
    10
choice
bartvdrmeulen@2017
    11
    bool
diorcet@3112
    12
    prompt "Windows API version"
bartvdrmeulen@2017
    13
bartvdrmeulen@2017
    14
# Don't remove next line
bartvdrmeulen@2017
    15
# CT_INSERT_VERSION_BELOW
diorcet@3112
    16
config WINAPI_V_2_0_7
bartvdrmeulen@2017
    17
    bool
diorcet@3112
    18
    prompt "2.0.7"
bartvdrmeulen@2017
    19
diorcet@3112
    20
config WINAPI_V_select
bartvdrmeulen@2017
    21
    bool
bartvdrmeulen@2017
    22
    prompt "Other version"
bartvdrmeulen@2017
    23
bartvdrmeulen@2017
    24
endchoice
bartvdrmeulen@2017
    25
diorcet@3112
    26
config WINAPI_VERSION
bartvdrmeulen@2017
    27
    string
diorcet@3112
    28
    prompt "Windows API version" if WINAPI_V_select
bartvdrmeulen@2017
    29
# Don't remove next line
bartvdrmeulen@2017
    30
# CT_INSERT_VERSION_STRING_BELOW
diorcet@3112
    31
    default "2.0.7" if WINAPI_V_2_0_7
bartvdrmeulen@2017
    32
    help
diorcet@3112
    33
      Enter the version number of the Windows API files to use
bartvdrmeulen@2017
    34
diorcet@3112
    35
config MINGW_DIRECTX
diorcet@3112
    36
    bool
diorcet@3112
    37
    prompt "Include DirectX development files"
diorcet@3112
    38
diorcet@3112
    39
config MINGW_DDK
diorcet@3112
    40
    bool
diorcet@3112
    41
    prompt "Include DDK development files"