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
     1 # mingw options
     2 
     3 ## depends on WINDOWS
     4 ##
     5 ## select LIBC_SUPPORT_WIN32THREADS
     6 ## select CC_CORE_PASSES_NEEDED
     7 ##
     8 ## help The de-facto standard for Mingw distributions.
     9 
    10 choice
    11     bool
    12     prompt "Windows API version"
    13 
    14 # Don't remove next line
    15 # CT_INSERT_VERSION_BELOW
    16 config WINAPI_V_2_0_7
    17     bool
    18     prompt "2.0.7"
    19 
    20 config WINAPI_V_select
    21     bool
    22     prompt "Other version"
    23 
    24 endchoice
    25 
    26 config WINAPI_VERSION
    27     string
    28     prompt "Windows API version" if WINAPI_V_select
    29 # Don't remove next line
    30 # CT_INSERT_VERSION_STRING_BELOW
    31     default "2.0.7" if WINAPI_V_2_0_7
    32     help
    33       Enter the version number of the Windows API files to use
    34 
    35 config MINGW_DIRECTX
    36     bool
    37     prompt "Include DirectX development files"
    38 
    39 config MINGW_DDK
    40     bool
    41     prompt "Include DDK development files"