From 32c061146de6a5241cea9d710457f5c04040d3ae Mon Sep 17 00:00:00 2001
From: root <root@raspberrypi.(none)>
Date: Fri, 7 Dec 2012 15:14:04 +0000
Subject: [PATCH] Making gcc use some extra flags to build the proper hardfp
 gcc.

This commit breaks non-raspberrypi; just testing.
---
 pkgs/development/compilers/gcc/4.6/builder.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/compilers/gcc/4.6/builder.sh b/pkgs/development/compilers/gcc/4.6/builder.sh
index 2f655ece170..f4b3758c7c1 100644
--- a/pkgs/development/compilers/gcc/4.6/builder.sh
+++ b/pkgs/development/compilers/gcc/4.6/builder.sh
@@ -97,6 +97,7 @@ if test "$noSysDirs" = "1"; then
             glibc_libdir="$(cat $NIX_GCC_CROSS/nix-support/orig-libc)/lib"
 
             extraFlags="-I$NIX_FIXINC_DUMMY_CROSS $extraFlags"
+            extraFlags="-mcpu=armv6 -mfpu=vfp -mhard-float -marm $extraFlags"
             extraLDFlags="-L$glibc_libdir -rpath $glibc_libdir $extraLDFlags"
 
             EXTRA_TARGET_CFLAGS="$extraFlags"