debug/Makefile

   1 RISCV_SIM ?= spike
   2 XLEN ?= 64
   3
   4 src_dir ?= .
   5 GDBSERVER_PY = $(src_dir)/gdbserver.py
   6
   7 default:        spike$(XLEN).log
   8
   9 all:    spike32.log spike64.log
  10
  11 spike32.log:
  12         $(GDBSERVER_PY) --isolate --spike32 --cmd $(RISCV_SIM) -- -v > $@ 2>&1
  13
  14 spike64.log:
  15         $(GDBSERVER_PY) --isolate --spike --cmd $(RISCV_SIM) -- -v > $@ 2>&1
  16
  17 clean:
  18         rm -f *.log