config/kernel.in
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:51 2010 +0200 (2010-08-05)
changeset 2069 366bd2b22675
parent 1976 2d90ec981ba3
child 2484 d1a8c2ae7946
permissions -rw-r--r--
complibs/mpc: fix MPC 0.8.1 build with MPFR 3.0.0

This is the change introduced by revision 734 of MPC repository.

Author: Paul Zimmermann <Paul.Zimmermann@loria.fr>
Revision log: [acos.c] fixed problem with GMP_RNDA (should be MPFR_RNDA, and code was wrong)

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
     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