1.1 --- a/config/target.in Sun Jan 20 12:58:22 2013 +0000
1.2 +++ b/config/target.in Wed Jun 25 23:33:01 2014 +0200
1.3 @@ -296,6 +296,15 @@
1.4 prompt "Floating point:"
1.5 depends on ARCH_SUPPORTS_WITH_FLOAT
1.6
1.7 +config ARCH_FLOAT_AUTO
1.8 + bool
1.9 + prompt "auto (let gcc decide)"
1.10 + help
1.11 + Instead of explicitly passing a float option, don't
1.12 + pass any float options and let gcc figure it out.
1.13 +
1.14 + For multilib configurations, this may help.
1.15 +
1.16 config ARCH_FLOAT_HW
1.17 bool
1.18 prompt "hardware (FPU)"
1.19 @@ -364,6 +373,7 @@
1.20 config ARCH_FLOAT
1.21 string
1.22 default "" if ! ARCH_SUPPORTS_WITH_FLOAT
1.23 + default "auto" if ARCH_FLOAT_AUTO
1.24 default "hard" if ARCH_FLOAT_HW
1.25 default "soft" if ARCH_FLOAT_SW
1.26 default "softfp" if ARCH_FLOAT_SOFTFP