aboutsummaryrefslogtreecommitdiff
path: root/debug/Makefile
blob: 4378aab1e4cea5772e7bd7cc842a2f877ee263d9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
RISCV_SIM ?= spike
XLEN ?= 64

src_dir ?= .
GDBSERVER_PY = $(src_dir)/gdbserver.py

default:	spike$(XLEN).log

all:	pylint spike32.log spike64.log

pylint:
	pylint --rcfile=pylint.rc *.py

%.log:
	$(GDBSERVER_PY) --isolate --$(subst .log,,$@) --cmd $(RISCV_SIM) \
	    > $@ 2>&1 || (sed s/^/$@:\ / $@ && false)

clean:
	rm -f *.log