config/target: enforce floating point support
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Nov 25 23:59:29 2011 +0100 (2011-11-25)
changeset 2794561bce585313
parent 2793 cac189eafb04
child 2795 cf509170838f
config/target: enforce floating point support

Do not prompt for the type of floating-point support, if the
architecture did not explicitly stated that it did support it.

Reported-by: Morten Thunberg Svendsen <mts@doredevelopment.dk>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
config/target.in
     1.1 --- a/config/target.in	Thu Nov 24 19:48:35 2011 +0100
     1.2 +++ b/config/target.in	Fri Nov 25 23:59:29 2011 +0100
     1.3 @@ -260,6 +260,7 @@
     1.4  choice
     1.5      bool
     1.6      prompt "Floating point:"
     1.7 +    depends on ARCH_SUPPORTS_WITH_FLOAT
     1.8  
     1.9  config ARCH_FLOAT_HW
    1.10      bool
    1.11 @@ -328,6 +329,7 @@
    1.12  
    1.13  config ARCH_FLOAT
    1.14      string
    1.15 +    default ""       if ! ARCH_SUPPORTS_WITH_FLOAT
    1.16      default "hard"   if ARCH_FLOAT_HW
    1.17      default "soft"   if ARCH_FLOAT_SW
    1.18      default "softfp" if ARCH_FLOAT_SOFTFP