config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 29 00:57:02 2011 +0100 (2011-01-29)
changeset 2285 7d1e018167b5
parent 1976 2d90ec981ba3
child 2484 d1a8c2ae7946
permissions -rw-r--r--
comptools: add make-3.81

Since the advent of make-3.82, some packages now break due to changes
in make-3.82, being stricter than 3.81 when interpreting the Makefiles.

This has bugged us a bit too much so far, and I believe fixing all
of them is a long road, while simply building make-3.81 is the easiest
route for now.

Of course, in the long term, packages will get fixed upstream, and we
should back-port the fixes to old versions, and get rid of building
make-3.81. In the meantime...

Reported several times on the mailing list.

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     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