Config.in.float 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041
  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 \
  13. && !ADK_TARGET_CPU_WITH_FPU_FPV5 \
  14. && !ADK_TARGET_OS_FROSTED
  15. config ADK_TARGET_HARD_FLOAT_SP
  16. bool "hard-float-single-precision"
  17. depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
  18. config ADK_TARGET_HARD_FLOAT_DP
  19. bool "hard-float-double-precision"
  20. depends on ADK_TARGET_CPU_WITH_FPU && ADK_TARGET_CPU_WITH_FPU_FPV5
  21. config ADK_TARGET_SOFT_FLOAT
  22. bool "soft-float"
  23. config ADK_TARGET_SOFTFP_FLOAT
  24. bool "softfp"
  25. depends on ADK_TARGET_ARCH_ARM && !ADK_TARGET_OS_FROSTED
  26. endchoice
  27. config ADK_TARGET_FLOAT
  28. string
  29. depends on !ADK_TARGET_ARCH_M68K \
  30. && !ADK_TARGET_ARCH_NIOS2
  31. default "hard" if ADK_TARGET_HARD_FLOAT || ADK_TARGET_HARD_FLOAT_SP || ADK_TARGET_HARD_FLOAT_DP
  32. default "soft" if ADK_TARGET_SOFT_FLOAT
  33. default "softfp" if ADK_TARGET_SOFTFP_FLOAT