Dave, from your comment about using -mfloat-abi=hard I deduce you're using
Raspbian Wheezy, which is a RaspberryPi specific hardfloat port of Debian
Wheezy.
The official Debian armhf needs ARMv7. The raspi is ARMv6+vfp2
So debian armhf is not compatible with Raspbian armhf.
Regards
Aydan