Merge pull request #35 from richardxia/have-openocd-pick-gdb-server-port

[riscv-tests.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 62a95b24bab9bdbdba5099b9206bc19d0d6130fb..5afa084849adbd80bab205ad9e93fe3092f49e0c 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -4,6 +4,7 @@ XLEN            := @XLEN@
 instbasedir     := $(DESTDIR)$(prefix)
 bmarkdir        := $(abs_top_src_dir)/benchmarks
 isa_src_dir     := $(abs_top_src_dir)/isa
+debug_src_dir   := $(abs_top_src_dir)/debug
 
 all: benchmarks isa
 
@@ -21,9 +22,14 @@ isa:
        mkdir -p isa
        $(MAKE) -C isa -f $(isa_src_dir)/Makefile src_dir=$(isa_src_dir) XLEN=$(XLEN)
 
+debug-check:
+       mkdir -p debug
+       $(MAKE) -C debug -f $(debug_src_dir)/Makefile src_dir=$(debug_src_dir) XLEN=$(XLEN)
+
 clean:
        $(MAKE) -C isa -f $(isa_src_dir)/Makefile src_dir=$(isa_src_dir) clean
        $(MAKE) -C benchmarks -f $(bmarkdir)/Makefile src_dir=$(bmarkdir) clean
+       $(MAKE) -C debug -f $(bmarkdir)/Makefile src_dir=$(debug_src_dir) clean
 
 .PHONY: benchmarks isa clean