scripts/build/kernel/mingw32.sh
author Michael Hope <michael.hope@linaro.org>
Wed Nov 16 10:06:21 2011 +1300 (2011-11-16)
changeset 2765 6c5658b8b588
parent 2084 2bcd716ca877
permissions -rw-r--r--
scripts: add support for building manuals

Add support for building the HTML and PDF manuals for the major
components. Implement for binutils, GCC, GDB, and GLIBC.

Always build all manuals and install a subset. Be explicit about the
subset to reduce the clutter and to avoid getting copies of common
manuals like bfd from all of the sourceware based components. Downside of
being explicit is that you need to update it when a new component
comes along.

Build the manuals as part of the last GCC build, namely 'cc' for glibc
based ones and cc_core_pass_2 for baremetal.

An example of the output is at:
http://people.linaro.org/~michaelh/incoming/crosstool-NG/

Signed-off-by: Michael Hope <michael.hope@linaro.org>
[yann.morin.1998@anciens.enib.fr: depends on ! remove docs; gold manual install]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
bartvdrmeulen@2017
     1
# This file declares functions to install the kernel headers for mingw
bartvdrmeulen@2017
     2
# Copyright 2009 Bart vdr. Meulen
bartvdrmeulen@2017
     3
# Licensed under the GPL v2. See COPYING in the root of this package
bartvdrmeulen@2017
     4
bartvdrmeulen@2017
     5
CT_DoKernelTupleValues() {
bartvdrmeulen@2017
     6
    CT_TARGET_KERNEL="mingw32"
bartvdrmeulen@2017
     7
    CT_TARGET_SYS=
bartvdrmeulen@2017
     8
}
bartvdrmeulen@2017
     9
bartvdrmeulen@2017
    10
do_kernel_get() {
bartvdrmeulen@2017
    11
    CT_GetFile "w32api-${CT_W32API_VERSION}-mingw32-src" \
bartvdrmeulen@2017
    12
        http://downloads.sourceforge.net/sourceforge/mingw
bartvdrmeulen@2017
    13
}
bartvdrmeulen@2017
    14
bartvdrmeulen@2017
    15
do_kernel_extract() {
bartvdrmeulen@2017
    16
    CT_Extract "w32api-${CT_W32API_VERSION}-mingw32-src"
bartvdrmeulen@2017
    17
}
bartvdrmeulen@2017
    18
bartvdrmeulen@2017
    19
do_kernel_headers() {
bartvdrmeulen@2017
    20
    CT_DoStep INFO "Installing kernel headers"
bartvdrmeulen@2017
    21
eha@2084
    22
    mkdir -p "${CT_HEADERS_DIR}"
yann@2580
    23
    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32-src/include/*   \
eha@2084
    24
          ${CT_HEADERS_DIR}
bartvdrmeulen@2017
    25
bartvdrmeulen@2017
    26
    CT_EndStep
bartvdrmeulen@2017
    27
}