5 GDBSERVER_PY
= $(src_dir
)/gdbserver.py
7 default
: spike
$(XLEN
).log
9 all: pylint spike32.log spike64.log
12 pylint
--rcfile
=pylint.rc
`git ls-files '*.py'`
17 $(src_dir
)/targets
/RISC-V
/$(subst .log
,.py
,$@
) \
18 --sim_cmd
$(RISCV
)/bin
/$(RISCV_SIM
) \
19 --server_cmd
$(RISCV
)/bin
/openocd \
20 | tee
$@
2>&1 ||
(sed s
/^
/$@
:\
/ $@
&& false
)
23 rm -f spike32.log spike64.log
*.pyc