RISCV_SIM ?= spike
+XLEN ?= 64
-all: spike32.log spike64.log
+src_dir ?= .
+GDBSERVER_PY = $(src_dir)/gdbserver.py
-spike32.log:
- ./gdbserver.py --isolate --spike32 --cmd $(RISCV_SIM) -- -v > $@ 2>&1
+default: spike$(XLEN).log
-spike64.log:
- ./gdbserver.py --isolate --spike --cmd $(RISCV_SIM) -- -v > $@ 2>&1
+all: pylint spike32.log spike64.log
+
+pylint:
+ pylint --rcfile=pylint.rc *.py
+
+%.log:
+ $(GDBSERVER_PY) --isolate --$(subst .log,,$@) --cmd $(RISCV_SIM) \
+ > $@ 2>&1 || (sed s/^/$@:\ / $@ && false)
clean:
rm -f *.log