mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 04:47:52 +00:00
105e4b59b7
Instead, prepare the files as a part of bootstrap and install them. This avoids rebuilding these files in each working directory; they don't change anyway as they are generated from the same installed source. Signed-off-by: Alexey Neyman <stilor@att.net>
43 lines
970 B
Plaintext
43 lines
970 B
Plaintext
# Kernel options
|
|
|
|
menu "Operating System"
|
|
|
|
# Config option used throughout the config and code to determine wether
|
|
# we have a kernel or not (there might be different bare metal stuff)...
|
|
config BARE_METAL
|
|
bool
|
|
|
|
config WINDOWS
|
|
bool
|
|
|
|
# Each target OS (aka kernel) that support shared libraries can select
|
|
# this, so the user can decide whether or not to build a shared library
|
|
# enabled toolchain
|
|
config KERNEL_SUPPORTS_SHARED_LIBS
|
|
bool
|
|
|
|
config KERNEL
|
|
string
|
|
|
|
config KERNEL_VERSION
|
|
string
|
|
|
|
source "config/gen/kernel.in"
|
|
|
|
comment "Common kernel options"
|
|
|
|
config SHARED_LIBS
|
|
bool
|
|
prompt "Build shared libraries"
|
|
depends on KERNEL_SUPPORTS_SHARED_LIBS
|
|
default y
|
|
help
|
|
Say 'y' here, unless you don't want shared libraries.
|
|
|
|
You might not want shared libraries if you're building for a target that
|
|
don't support it (maybe some nommu targets, for example, or bare metal).
|
|
|
|
source "config/gen/kernel.in.2"
|
|
|
|
endmenu
|