scripts/build/kernel/windows.sh
author Bernhard Walle <bernhard@bwalle.de>
Sun May 11 13:00:36 2014 +0200 (2014-05-11)
changeset 3318 579bc9107f99
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
diorcet@3112
     1
# This file declares functions to install the kernel headers for mingw64
diorcet@3112
     2
# Copyright 2012 Yann Diorcet
diorcet@3112
     3
# Licensed under the GPL v2. See COPYING in the root of this package
diorcet@3112
     4
diorcet@3112
     5
CT_DoKernelTupleValues() {
diorcet@3112
     6
    # Even we compile for x86_64 target architecture, the target OS have to
diorcet@3112
     7
    # bet mingw32 (require by gcc and mingw-w64)
diorcet@3112
     8
    CT_TARGET_KERNEL="mingw32"
diorcet@3112
     9
    CT_TARGET_SYS=
diorcet@3112
    10
}
diorcet@3112
    11
diorcet@3112
    12
do_kernel_get() {
diorcet@3112
    13
    :
diorcet@3112
    14
}
diorcet@3112
    15
diorcet@3112
    16
do_kernel_extract() {
diorcet@3112
    17
    :
diorcet@3112
    18
}
diorcet@3112
    19
diorcet@3112
    20
do_kernel_headers() {
diorcet@3112
    21
   :
diorcet@3112
    22
}