scripts/build/kernel/windows.sh
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Mon May 26 23:25:17 2014 +0200 (2014-05-26)
changeset 3324 1eea25c0bfe7
permissions -rw-r--r--
complibs/cloog: remove old CLooG/PPL versions

Those versions are no longer available upstream. They have purely and
simply disapeared, without leaving any trace of their mere existences.

Just keep the latest cloog-ppl-0.15.11, which still exists on the gcc
infra mirror (but for how long?)

Reported-by: Guillaume FLORENCE-COURTAND <gflorenc@laposte.net>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
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
}