From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 31 Oct 2011 21:01:13 +0000 (+0000)
Subject: fixes to "make distclean" and "make maintainerclean"
X-Git-Tag: cvc5-1.0.0~8398
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=78016223982860e98bbc404534eff403452bd82e;p=cvc5.git

fixes to "make distclean" and "make maintainerclean"
---

diff --git a/Makefile b/Makefile
index 7f272b668..8cf0fbcc2 100644
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,15 @@ all .DEFAULT:
 		echo; \
 	fi
 
+distclean maintainerclean:
+	@if test -d $(builddir); then \
+		echo cd $(builddir); \
+		cd $(builddir); \
+		echo $(MAKE) $@; \
+		$(MAKE) $@; \
+	fi
+	test -z "$(builddir)" || rm -fr "$(builddir)"
+
 # synonyms for "check"
 .PHONY: test
 test: check
diff --git a/Makefile.am b/Makefile.am
index db74bd378..2edd33820 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -118,3 +118,6 @@ man_MANS = \
 
 dist-hook:
 	cp -p "$(srcdir)/Makefile" "$(distdir)/Makefile"
+
+distclean-local:
+	test -z "$(DX_DOCDIR)" || rm -fr "$(DX_DOCDIR)"