config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 13 10:32:38 2008 +0000 (2008-07-13)
changeset 645 8e58024f8e37
parent 446 d205527c5e01
child 847 af75fc1fe0fc
permissions -rw-r--r--
Ioannis E. VENETIS <venetis@mail.capsl.udel.edu> pointed out that GMP and MPFR were not used by gcc.
Turned out that none could use GMP and MPFR as the config option changed its name, but the change was not propagated to all users.

/trunk/scripts/build/binutils.sh | 2 1 1 0 +-
/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/scripts/build/cc_gcc.sh | 6 3 3 0 +++---
3 files changed, 5 insertions(+), 5 deletions(-)
yann@1
     1
# Kernel options
yann@1
     2
yann@1
     3
menu "Kernel"
yann@1
     4
yann@1
     5
choice
yann@1
     6
    bool
yann@34
     7
    prompt "Target OS"
yann@1
     8
    default KERNEL_LINUX
yann@1
     9
yann@1
    10
config KERNEL_LINUX
yann@1
    11
    bool
yann@1
    12
    prompt "linux"
yann@1
    13
    help
yann@1
    14
      Build a toolchain targeting systems running Linux as a kernel.
yann@1
    15
yann@1
    16
endchoice
yann@1
    17
yann@1
    18
config KERNEL_VERSION
yann@1
    19
    string
yann@1
    20
yann@1
    21
if KERNEL_LINUX
yann@448
    22
source config/kernel/linux.in
yann@1
    23
endif
yann@1
    24
yann@1
    25
endmenu