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