diff options
Diffstat (limited to 'debug/Makefile')
| -rw-r--r-- | debug/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/debug/Makefile b/debug/Makefile index 56db731..5726883 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -4,7 +4,7 @@ XLEN ?= 64 src_dir ?= . GDBSERVER_PY = $(src_dir)/gdbserver.py -default: spike$(XLEN).log +default: spike$(XLEN).log all: pylint spike32.log spike64.log @@ -12,7 +12,11 @@ pylint: pylint --rcfile=pylint.rc *.py %.log: - $(GDBSERVER_PY) --isolate --$(subst .log,,$@) --cmd $(RISCV_SIM) \ + $(GDBSERVER_PY) \ + --isolate \ + --$(subst .log,,$@) \ + --sim_cmd $(RISCV)/bin/$(RISCV_SIM) \ + --server_cmd $(RISCV)/bin/openocd \ > $@ 2>&1 || (sed s/^/$@:\ / $@ && false) clean: |