From 642882396b4103ba8250105e8623337ef615502d Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Fri, 14 Dec 2018 15:09:47 -0800
Subject: [PATCH] Build tests using the locally-available gcc arm binary name.

---
 macaw-arm/tests/arm/Makefile | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/macaw-arm/tests/arm/Makefile b/macaw-arm/tests/arm/Makefile
index f50f58c9..eb62b01d 100644
--- a/macaw-arm/tests/arm/Makefile
+++ b/macaw-arm/tests/arm/Makefile
@@ -1,8 +1,10 @@
-A32CC=arm-linux-gnueabi-gcc
-# arm-none-eabi-gcc
-T32CC=arm-linux-gnueabi-gcc -mthumb
-# -march=armv7-m
-# arm-none-eabi-gcc -march=armv7-m
+# n.b. nix packages for this arm gcc and related:
+#    pkgsCross.arm-embedded.buildPackages.gcc
+
+CCPROG != for X in arm-linux-gnueabi-gcc arm-none-eabi-gcc gcc ; do if type $$X > /dev/null 2>&1 ; then echo $$X; break; fi; done
+
+A32CC := $(CCPROG)
+T32CC := $(CCPROG) -mthumb
 
 all: $(patsubst %.c,%-a32.exe,$(wildcard *.c)) $(patsubst %.c,%-t32.exe,$(wildcard *.c))