diff options
Diffstat (limited to 'debug/Makefile')
-rw-r--r-- | debug/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debug/Makefile b/debug/Makefile new file mode 100644 index 0000000..a138f25 --- /dev/null +++ b/debug/Makefile @@ -0,0 +1,12 @@ +RISCV_SIM ?= spike + +all: spike32.log spike64.log + +spike32.log: + ./gdbserver.py --isolate --spike32 --cmd $(RISCV_SIM) > $@ 2>&1 + +spike64.log: + ./gdbserver.py --isolate --spike --cmd $(RISCV_SIM) > $@ 2>&1 + +clean: + rm -f *.log |