| 1234567891011121314151617181920212223242526272829303132333435363738394041 |
- # 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 \
- && !ADK_TARGET_CPU_WITH_FPU_FPV5 \
- && !ADK_TARGET_OS_FROSTED
- config ADK_TARGET_HARD_FLOAT_SP
- bool "hard-float-single-precision"
- depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
- config ADK_TARGET_HARD_FLOAT_DP
- bool "hard-float-double-precision"
- depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
- config ADK_TARGET_SOFT_FLOAT
- bool "soft-float"
- config ADK_TARGET_SOFTFP_FLOAT
- bool "softfp"
- depends on ADK_TARGET_ARCH_ARM && !ADK_TARGET_OS_FROSTED
- endchoice
- config ADK_TARGET_FLOAT
- string
- depends on !ADK_TARGET_ARCH_M68K \
- && !ADK_TARGET_ARCH_NIOS2
- default "hard" if ADK_TARGET_HARD_FLOAT || ADK_TARGET_HARD_FLOAT_SP || ADK_TARGET_HARD_FLOAT_DP
- default "soft" if ADK_TARGET_SOFT_FLOAT
- default "softfp" if ADK_TARGET_SOFTFP_FLOAT
|
