target/config/Config.in.float

   1 # This file is part of the OpenADK project. OpenADK is copyrighted
   2 # material, please see the LICENCE file in the top-level directory.
   3
   4 choice ADK_TARGET_FLOAT_MODE
   5 prompt "Float configuration"
   6 depends on ADK_TARGET_ARCH_ARM || \
   7            ADK_TARGET_ARCH_M68K || \
   8            ADK_TARGET_ARCH_MIPS || \
   9            ADK_TARGET_ARCH_NIOS2 || \
  10            ADK_TARGET_ARCH_PPC
  11
  12 config ADK_TARGET_HARD_FLOAT
  13         bool "hard-float"
  14         depends on ADK_TARGET_CPU_WITH_FPU \
  15                 && !ADK_TARGET_CPU_WITH_FPU_FPV5 \
  16                 && !ADK_TARGET_OS_FROSTED
  17
  18 config ADK_TARGET_HARD_FLOAT_SP
  19         bool "hard-float-single-precision"
  20         depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
  21
  22 config ADK_TARGET_HARD_FLOAT_DP
  23         bool "hard-float-double-precision"
  24         depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
  25
  26 config ADK_TARGET_SOFT_FLOAT
  27         bool "soft-float"
  28
  29 config ADK_TARGET_SOFTFP_FLOAT
  30         bool "softfp"
  31         depends on ADK_TARGET_ARCH_ARM && !ADK_TARGET_OS_FROSTED
  32
  33 endchoice
  34
  35 config ADK_TARGET_FLOAT
  36         string
  37         depends on !ADK_TARGET_ARCH_M68K \
  38                 && !ADK_TARGET_ARCH_NIOS2
  39         default "hard" if ADK_TARGET_HARD_FLOAT || ADK_TARGET_HARD_FLOAT_SP || ADK_TARGET_HARD_FLOAT_DP
  40         default "soft" if ADK_TARGET_SOFT_FLOAT
  41         default "softfp" if ADK_TARGET_SOFTFP_FLOAT