# HG changeset patch # User Cody Schafer # Date 1399687808 25200 # Node ID 6fb47591d19dd90fd7fb28017cf68edcaa8609c1 # Parent 06b78d44d1a08cff665b528b630b47cfc1d54299 arch: add option to let gccdecide what floating point to use Add an ARCH_FLOAT_AUTO option to avoid passing float options to gcc and allow it to choose Signed-off-by: Cody P Schafer [yann.morin.1998@free.fr: slightly reword the commit log] Signed-off-by: "Yann E. MORIN" Message-Id: <088489641f4790262685.1399687813@localhost> Patchwork-Id: 347584 diff -r 06b78d44d1a0 -r 6fb47591d19d config/target.in --- a/config/target.in Fri May 09 19:08:00 2014 -0700 +++ b/config/target.in Fri May 09 19:10:08 2014 -0700 @@ -296,6 +296,15 @@ prompt "Floating point:" depends on ARCH_SUPPORTS_WITH_FLOAT +config ARCH_FLOAT_AUTO + bool + prompt "auto (let gcc decide)" + help + Instead of explicitly passing a float option, don't + pass any float options and let gcc figure it out. + + For multilib configurations, this may help. + config ARCH_FLOAT_HW bool prompt "hardware (FPU)" @@ -364,6 +373,7 @@ config ARCH_FLOAT string default "" if ! ARCH_SUPPORTS_WITH_FLOAT + default "auto" if ARCH_FLOAT_AUTO default "hard" if ARCH_FLOAT_HW default "soft" if ARCH_FLOAT_SW default "softfp" if ARCH_FLOAT_SOFTFP