config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun May 11 13:38:12 2014 +0200 (2014-05-11)
changeset 3313 ad14212ebf54
parent 2484 d1a8c2ae7946
permissions -rw-r--r--
config: switch cc with libc in the config order

Some of the compiler options depend on the C library choice, (e.g.
whether core passes are needed).

Since the compiler menu comes before the C library menu, those options
may or may not be visible until the C library is chosen, leading to
either options being visible by the user (thus be puzzling as they would
not apply to his case), or invisible to him (yet again puzzling him).

Invert the order of the compiler and the C library in the menuconfig. It
anyway looks more rational, in the end.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.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 WINDOWS
    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