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