blob: 693010633298a35120dfa74043d5af3271adf0de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
# This file is part of the OpenADK project. OpenADK is copyrighted
# material, please see the LICENCE file in the top-level directory.
choice ADK_TARGET_FLOAT_MODE
prompt "Float configuration"
depends on ADK_TARGET_ARCH_ARM || \
ADK_TARGET_ARCH_M68K || \
ADK_TARGET_ARCH_MIPS || \
ADK_TARGET_ARCH_NIOS2 || \
ADK_TARGET_ARCH_PPC
config ADK_TARGET_HARD_FLOAT
bool "hard-float"
depends on ADK_TARGET_CPU_WITH_FPU
config ADK_TARGET_SOFT_FLOAT
bool "soft-float"
config ADK_TARGET_SOFTFP_FLOAT
bool "softfp"
depends on ADK_TARGET_ARCH_ARM
endchoice
config ADK_TARGET_FLOAT
string
depends on !ADK_TARGET_ARCH_M68K \
&& !ADK_TARGET_ARCH_NIOS2
default "hard" if ADK_TARGET_HARD_FLOAT
default "soft" if ADK_TARGET_SOFT_FLOAT
default "softfp" if ADK_TARGET_SOFTFP_FLOAT
|