-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
51 lines (43 loc) · 1.27 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
#include ../stack.mk
TARGET ?= /dev/cu.usbmodemE2E1A6C1
IVORYFLAGS ?= --const-fold --verbose
TESTS := \
hexamon
AADL_TESTS :=
CLEANS := $(foreach test,$(TESTS),$(test)-clean) \
$(foreach test,$(AADL_TESTS),$(test)_clean)
GDB := arm-none-eabi-gdb \
--ex 'target extended-remote $(TARGET)' \
--ex 'monitor connect_srst disable' \
--ex 'monitor swdp_scan' \
--ex 'set mem inaccessible-by-default off' \
--ex 'attach 1'
.PHONY: test clean $(TESTS) $(AADL_TESTS) $(CLEANS)
test: $(TESTS) $(AADL_TESTS)
clean: $(CLEANS)
# FIXME: ideally we would build only target executable
# needs fixing in stack
# https://github.com/commercialhaskell/stack/issues/1406
define MKTEST
$(1):
stack build . --exec '$(1)-gen --src-dir=build/$(1) $(IVORYFLAGS)'
make -C build/$(1)
$(1)-clean:
rm -rf build/$(1)
$(1)-gdb: $(1)
$(GDB) build/$(1)/image
$(1)-load: $(1)
$(GDB) --ex 'load' build/$(1)/image
$(1)-run: $(1)
$(GDB) --ex 'load' --ex 'run' build/$(1)/image
endef
define MK_AADL_TEST
$(1):
stack build . --exec '$(1)_gen --src-dir=build_aadl/$(1) $(IVORYFLAGS)'
$(1)_clean:
rm -rf build_aadl/$(1)
endef
$(foreach test,$(TESTS),$(eval $(call MKTEST,$(test))))
$(foreach test,$(AADL_TESTS),$(eval $(call MK_AADL_TEST,$(test))))
upload:
scp ./build/hexamon/image torpi:~/image