GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

Build tests using the locally-available gcc arm binary name.

Browse Source
This commit is contained in:
Kevin Quick 2018-12-14 15:09:47 -08:00
parent 7cd6a6c940
commit 642882396b
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
macaw-arm/tests/arm/Makefile
View File

@ -1,8 +1,10 @@
A32CC=arm-linux-gnueabi-gcc # n.b. nix packages for this arm gcc and related:
# arm-none-eabi-gcc # pkgsCross.arm-embedded.buildPackages.gcc
T32CC=arm-linux-gnueabi-gcc -mthumb
# -march=armv7-m 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
# arm-none-eabi-gcc -march=armv7-m
A32CC := $(CCPROG)
T32CC := $(CCPROG) -mthumb
all: $(patsubst %.c,%-a32.exe,$(wildcard *.c)) $(patsubst %.c,%-t32.exe,$(wildcard *.c)) all: $(patsubst %.c,%-a32.exe,$(wildcard *.c)) $(patsubst %.c,%-t32.exe,$(wildcard *.c))