config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Oct 08 23:37:12 2010 +0200 (2010-10-08)
branch1.8
changeset 2150 f97a8ad2b172
parent 1976 2d90ec981ba3
child 2484 d1a8c2ae7946
permissions -rw-r--r--
cc/gcc: fix C++ headers location

In case we build the C++ compiler, we have to tell gcc where to put the C++
headers, or else it will try to # put it in prefix/tuple/include, which we
make a symlink to sysroot/usr/include during the build, and that we delete
(the symlink!) after the build, but gcc will not look in sysroot/usr/inlcude
for C++ headers by default.

Implements a fix suggested by: Bryan Hundven <bryanhundven@gmail.com>

Reported-by: Anthony Foiani <anthony.foiani@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from a0924619112015bdaa81a0a2313d21ef38607bc2)
     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     default n
    10 
    11 config MINGW32
    12     bool
    13     default n
    14 
    15 # Each target OS (aka kernel) that support shared libraries can select
    16 # this, so the user can decide whether or not to build a shared library
    17 # enabled toolchain
    18 config KERNEL_SUPPORTS_SHARED_LIBS
    19     bool
    20     default n
    21 
    22 config KERNEL
    23     string
    24 
    25 config KERNEL_VERSION
    26     string
    27 
    28 source "config.gen/kernel.in"
    29 
    30 comment "Common kernel options"
    31 
    32 config SHARED_LIBS
    33     bool
    34     prompt "Build shared libraries"
    35     depends on KERNEL_SUPPORTS_SHARED_LIBS
    36     default y
    37     help
    38       Say 'y' here, unless you don't want shared libraries.
    39       
    40       You might not want shared libraries if you're building for a target that
    41       don't support it (maybe some nommu targets, for example, or bare metal).
    42 
    43 source "config.gen/kernel.in.2"
    44 
    45 endmenu