X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=Makefile.in;h=c073655448e7083a96c0d2be45a36471e0926449;hb=9eb3b8d3fcc7a491121c186e3a35022e11bb5653;hp=62a95b24bab9bdbdba5099b9206bc19d0d6130fb;hpb=7f3b666f55c9f01c2f2fd725c1686e1a509df173;p=riscv-tests.git

diff --git a/Makefile.in b/Makefile.in
index 62a95b2..c073655 100644
--- 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
+	[ ! -d isa ]        || $(MAKE) -C isa -f $(isa_src_dir)/Makefile src_dir=$(isa_src_dir) clean
+	[ ! -d benchmarks ] || $(MAKE) -C benchmarks -f $(bmarkdir)/Makefile src_dir=$(bmarkdir) clean
+	[ ! -d debug ]      || $(MAKE) -C debug -f $(debug_src_dir)/Makefile src_dir=$(debug_src_dir) clean
 
 .PHONY: benchmarks isa clean