diff options
author | Megan Wachs <megan@sifive.com> | 2017-05-15 10:17:58 -0700 |
---|---|---|
committer | Megan Wachs <megan@sifive.com> | 2017-05-15 10:17:58 -0700 |
commit | f7095baa9d9a23ad096084380a9457730ea2ac68 (patch) | |
tree | db64ba7cb1dd8b7d7beda69f89540e9f42992161 /debug | |
parent | 46fdf4920da71f3f8690349d72fe6a516fd97735 (diff) | |
download | riscv-tests-f7095baa9d9a23ad096084380a9457730ea2ac68.zip riscv-tests-f7095baa9d9a23ad096084380a9457730ea2ac68.tar.gz riscv-tests-f7095baa9d9a23ad096084380a9457730ea2ac68.tar.bz2 |
debug: fix the make target for debug-check
Diffstat (limited to 'debug')
-rw-r--r-- | debug/Makefile | 21 |
1 files changed, 2 insertions, 19 deletions
diff --git a/debug/Makefile b/debug/Makefile index 9b36e54..1ea5752 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -1,27 +1,10 @@ RISCV_SIM ?= spike XLEN ?= 64 -OPENOCD_INSTALL ?= $(abspath .)/openocd-install -OPENOCD_VERSION = d8683119c0a1aa88320c7a6d4f0d6f63a5f976c5 - -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 -default: spike$(XLEN).log +default: spike$(XLEN).log all: pylint spike32.log spike64.log @@ -29,7 +12,7 @@ pylint: pylint --rcfile=pylint.rc *.py %.log: - $(GDBSERVER_PY) --isolate --$(subst .log,,$@) --server_cmd $(OPENOCD_DIR)/bin/openocd \ + $(GDBSERVER_PY) --isolate --$(subst .log,,$@) --sim_cmd $(RISCV)/bin/$(RISCV_SIM) \ > $@ 2>&1 || (sed s/^/$@:\ / $@ && false) clean: |