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)-2
   8
   9 all:    pylint spike32 spike64 spike32-2 spike64-2
  10
  11 pylint:
  12         pylint --rcfile=pylint.rc `git ls-files '*.py'`
  13
  14 spike%:
  15         $(GDBSERVER_PY) \
  16                 --isolate \
  17                 --print-failures \
  18                 $(src_dir)/targets/RISC-V/$@.py \
  19                 --sim_cmd $(RISCV)/bin/$(RISCV_SIM) \
  20                 --server_cmd $(RISCV)/bin/openocd
  21
  22 clean:
  23         rm -f *.pyc