From ae8b926761631638afe379ac6f083fd259ceff0d Mon Sep 17 00:00:00 2001
From: Waldemar Brodkorb <wbx@openadk.org>
Date: Mon, 6 May 2013 13:50:56 +0200
Subject: add toolchain support for raspberry pi

---
 toolchain/gcc/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'toolchain/gcc/Makefile')

diff --git a/toolchain/gcc/Makefile b/toolchain/gcc/Makefile
index 54169b8b9..044a9a3a1 100644
--- a/toolchain/gcc/Makefile
+++ b/toolchain/gcc/Makefile
@@ -69,6 +69,12 @@ endif
 
 ifeq ($(ADK_TARGET_NO_FPU),y)
 GCC_CONFOPTS+=		--with-float=soft
+else
+GCC_CONFOPTS+=          --with-float=hard
+endif
+
+ifeq ($(ADK_TARGET_SYSTEM_RASPBERRY_PI),y)
+GCC_CONFOPTS+=          --with-arch=armv6 --with-fpu=vfp
 endif
 
 ifneq ($(ADK_TARGET_ABI),)
-- 
cgit v1.2.3