diff options
Diffstat (limited to 'debug/Makefile')
| -rw-r--r-- | debug/Makefile | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/debug/Makefile b/debug/Makefile index 79e89cb..1916bda 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -1,6 +1,23 @@ RISCV_SIM ?= spike XLEN ?= 64 +OPENOCD_INSTALL ?= $(abspath .)/openocd-install +OPENOCD_VERSION = 860b42a3c4f6aa37d8d4fe50a71000b7cff66b85 + +OPENOCD_DIR = $(OPENOCD_INSTALL)_$(OPENOCD_VERSION)/ + +$(OPENOCD_DIR)/bin/openocd: + rm -rf riscv-openocd + git clone http://github.com/riscv/riscv-openocd.git + cd riscv-openocd ; \ + git checkout $(OPENOCD_VERSION) ; \ + ./bootstrap ; \ + ./configure --enable-remote_bitbang --prefix=$(OPENOCD_INSTALL)_$(OPENOCD_VERSION) --disable-werror; \ + make ; \ + make install + +install_openocd: $(OPENOCD_DIR)/bin/openocd + src_dir ?= . GDBSERVER_PY = $(src_dir)/gdbserver.py @@ -12,7 +29,7 @@ pylint: pylint --rcfile=pylint.rc *.py %.log: - $(GDBSERVER_PY) --isolate --$(subst .log,,$@) \ + $(GDBSERVER_PY) --isolate --$(subst .log,,$@) --server_cmd $(OPENOCD_DIR)/bin/openocd \ > $@ 2>&1 || (sed s/^/$@:\ / $@ && false) clean: |