Config.in.float 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839
  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. choice ADK_TARGET_FLOAT_MODE
  4. prompt "Float configuration"
  5. depends on ADK_TARGET_ARCH_ARM || \
  6. ADK_TARGET_ARCH_M68K || \
  7. ADK_TARGET_ARCH_MIPS || \
  8. ADK_TARGET_ARCH_NIOS2 || \
  9. ADK_TARGET_ARCH_PPC
  10. config ADK_TARGET_HARD_FLOAT
  11. bool "hard-float"
  12. depends on ADK_TARGET_CPU_WITH_FPU && !ADK_TARGET_CPU_WITH_FPU_FPV5
  13. config ADK_TARGET_HARD_FLOAT_SP
  14. bool "hard-float-single-precision"
  15. depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
  16. config ADK_TARGET_HARD_FLOAT_DP
  17. bool "hard-float-double-precision"
  18. depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
  19. config ADK_TARGET_SOFT_FLOAT
  20. bool "soft-float"
  21. config ADK_TARGET_SOFTFP_FLOAT
  22. bool "softfp"
  23. depends on ADK_TARGET_ARCH_ARM
  24. endchoice
  25. config ADK_TARGET_FLOAT
  26. string
  27. depends on !ADK_TARGET_ARCH_M68K \
  28. && !ADK_TARGET_ARCH_NIOS2
  29. default "hard" if ADK_TARGET_HARD_FLOAT || ADK_TARGET_HARD_FLOAT_SP || ADK_TARGET_HARD_FLOAT_DP
  30. default "soft" if ADK_TARGET_SOFT_FLOAT
  31. default "softfp" if ADK_TARGET_SOFTFP_FLOAT