config/kernel.in
author Michael Hope <michael.hope@linaro.org>
Wed Nov 16 10:06:21 2011 +1300 (2011-11-16)
changeset 2765 6c5658b8b588
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
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>
     1 # Kernel options
     2 
     3 menu "Operating System"
     4 
     5 # Config option used throughout the config and code to determine wether
     6 # we have a kernel or not (there might be different bare metal stuff)...
     7 config BARE_METAL
     8     bool
     9 
    10 config MINGW32
    11     bool
    12 
    13 # Each target OS (aka kernel) that support shared libraries can select
    14 # this, so the user can decide whether or not to build a shared library
    15 # enabled toolchain
    16 config KERNEL_SUPPORTS_SHARED_LIBS
    17     bool
    18 
    19 config KERNEL
    20     string
    21 
    22 config KERNEL_VERSION
    23     string
    24 
    25 source "config.gen/kernel.in"
    26 
    27 comment "Common kernel options"
    28 
    29 config SHARED_LIBS
    30     bool
    31     prompt "Build shared libraries"
    32     depends on KERNEL_SUPPORTS_SHARED_LIBS
    33     default y
    34     help
    35       Say 'y' here, unless you don't want shared libraries.
    36       
    37       You might not want shared libraries if you're building for a target that
    38       don't support it (maybe some nommu targets, for example, or bare metal).
    39 
    40 source "config.gen/kernel.in.2"
    41 
    42 endmenu