4 OPENOCD_INSTALL ?
= $(abspath .
)/openocd-install
5 OPENOCD_VERSION
= d8683119c0a1aa88320c7a6d4f0d6f63a5f976c5
7 OPENOCD_DIR
= $(OPENOCD_INSTALL
)_
$(OPENOCD_VERSION
)/
9 $(OPENOCD_DIR
)/bin
/openocd
:
11 git clone http
://github.com
/riscv
/riscv-openocd.git
13 git checkout
$(OPENOCD_VERSION
) ; \
15 .
/configure
--enable-remote_bitbang
--prefix=$(OPENOCD_INSTALL
)_
$(OPENOCD_VERSION
) --disable-werror
; \
19 install_openocd
: $(OPENOCD_DIR
)/bin
/openocd
22 GDBSERVER_PY
= $(src_dir
)/gdbserver.py
24 default
: spike
$(XLEN
).log
26 all: pylint spike32.log spike64.log
29 pylint
--rcfile
=pylint.rc
*.py
32 $(GDBSERVER_PY
) --isolate
--$(subst .log
,,$@
) --server_cmd
$(OPENOCD_DIR
)/bin
/openocd \
33 > $@
2>&1 ||
(sed s
/^
/$@
:\
/ $@
&& false
)