[gccsdk] How to get hardware vfp with GCC?

Thanks very much for all the useful advice. How do I get GCC
to produce VFP in hardware, for a Raspberry Pi 2?
It looks as if ARMv6 has been set as a default - OK for
Raspberry Pi 1 but not 2. Not quite sure that I understand
what FPA means here:

error: sys.o uses FPA instructions, whereas so.riscos does not
error: sys.o uses hardware FP, whereas so.riscos uses software FP

My CFLAGS for GCC contain "-mfpu=vfp". What more is needed to ensure
hardware FP?
--
Gavin Wraith (gavin@wra1th.plus.com)
Home page: http://www.wra1th.plus.com/

_______________________________________________
GCCSDK mailing list gcc@gccsdk.riscos.info
Bugzilla: http://www.riscos.info/bugzilla/index.cgi
List Info: http://www.riscos.info/mailman/listinfo/gcc
Main Page: http://www.riscos.info/index.php/GCCSDK