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>
yann@1
     1
# Kernel options
yann@1
     2
yann@861
     3
menu "Operating System"
yann@861
     4
yann@883
     5
# Config option used throughout the config and code to determine wether
yann@1337
     6
# we have a kernel or not (there might be different bare metal stuff)...
yann@883
     7
config BARE_METAL
yann@883
     8
    bool
yann@883
     9
    default n
yann@883
    10
bartvdrmeulen@2017
    11
config MINGW32
bartvdrmeulen@2017
    12
    bool
bartvdrmeulen@2017
    13
    default n
bartvdrmeulen@2017
    14
yann@1499
    15
# Each target OS (aka kernel) that support shared libraries can select
yann@1499
    16
# this, so the user can decide whether or not to build a shared library
yann@1499
    17
# enabled toolchain
yann@1499
    18
config KERNEL_SUPPORTS_SHARED_LIBS
yann@1499
    19
    bool
yann@1499
    20
    default n
yann@1499
    21
yann@847
    22
config KERNEL
yann@847
    23
    string
yann@847
    24
yann@861
    25
config KERNEL_VERSION
yann@861
    26
    string
yann@850
    27
yann@1870
    28
source "config.gen/kernel.in"
yann@854
    29
yann@1502
    30
comment "Common kernel options"
yann@1502
    31
yann@1502
    32
config SHARED_LIBS
yann@1502
    33
    bool
yann@1502
    34
    prompt "Build shared libraries"
yann@1502
    35
    depends on KERNEL_SUPPORTS_SHARED_LIBS
yann@1502
    36
    default y
yann@1502
    37
    help
yann@1502
    38
      Say 'y' here, unless you don't want shared libraries.
yann@1502
    39
      
yann@1502
    40
      You might not want shared libraries if you're building for a target that
yann@1502
    41
      don't support it (maybe some nommu targets, for example, or bare metal).
yann@1502
    42
yann@1976
    43
source "config.gen/kernel.in.2"
yann@1976
    44
yann@1
    45
endmenu