From: David Cock <david.cock@inf.ethz.ch>
Date: Tue, 11 Aug 2015 07:29:11 +0000 (+0200)
Subject: Make build_pandaboard_image.sh use global ARM_GCC
X-Git-Tag: release2015-09-03~49
X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=commitdiff_plain;h=b9de90a5f7427574e175b39c1cea594ddf66eb4d

Make build_pandaboard_image.sh use global ARM_GCC

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
---

diff --git a/platforms/Hakefile b/platforms/Hakefile
index e130c08..6704952 100644
--- a/platforms/Hakefile
+++ b/platforms/Hakefile
@@ -351,6 +351,8 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
             Str "--menu",     In SrcTree "tools" "/hake/menu.lst.pandaboard",
             Str "--baseaddr", Str "0x82001000",
             Str "--image",    Out "root" "/pandaboard_image",
+            Str "--gcc",      Str Config.arm_cc,
+            Str "--objcopy",  Str Config.arm_objcopy,
             Dep BuildTree "tools" "/bin/arm_molly"
           ] ++ [ (Dep BuildTree "armv7" m) | m <- pandaModules ]),
 
@@ -362,6 +364,8 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
             Str "--baseaddr", Str "0x00",
             Str "--cflags",   Str "\"-march=armv7-m -mcpu=cortex-m3 -mthumb\"",
             Str "--image",    Out "root" "/pandaboard_m3image_intermediate",
+            Str "--gcc",      Str Config.arm_cc,
+            Str "--objcopy",  Str Config.arm_objcopy,
             Dep BuildTree "tools" "/bin/arm_molly"
           ] ++ [ (Dep BuildTree "armv7-m" m) | m <- pandaM3Modules ]),
 
@@ -383,6 +387,8 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
             Str "--baseaddr", Str "0x82001000",
             Str "--extra",    In BuildTree "root" "/pandaboard_m3image",
             Str "--image",    Out "root" "/pandaboard_hetero_image",
+            Str "--gcc",      Str Config.arm_cc,
+            Str "--objcopy",  Str Config.arm_objcopy,
             Dep BuildTree "tools" "/bin/arm_molly"
           ] ++ [ (Dep BuildTree "armv7" m) | m <- pandaModules ]),
 
@@ -393,6 +399,8 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
             Str "--menu",     In SrcTree "tools" "/hake/menu.lst.arm_gem5_mc",
             Str "--baseaddr", Str "0x00100000",
             Str "--image",    Out "root" "/arm_gem5_image",
+            Str "--gcc",      Str Config.arm_cc,
+            Str "--objcopy",  Str Config.arm_objcopy,
             Dep BuildTree "tools" "/bin/arm_molly"
           ] ++ [ (Dep BuildTree "armv7" m) | m <- gem5Modules ]),