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

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

default: spike$(XLEN)-2

all:	pylint spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos

pylint:
	pylint --rcfile=pylint.rc `git ls-files '*.py'`

spike%:
	$(GDBSERVER_PY) \
		--isolate \
		--print-failures \
		$(src_dir)/targets/RISC-V/$@.py \
		--sim_cmd $(RISCV)/bin/$(RISCV_SIM) \
		--server_cmd $(RISCV)/bin/openocd

clean:
	rm -f *.pyc