From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 8 Nov 2013 21:49:12 +0000 (-0500)
Subject: Fix "make distclean", which should fix some of the build issues from last night
X-Git-Tag: cvc5-1.0.0~7268
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=40dea7f4f4d9ed0a5821aa15996ae48f6c3c2eb0;p=cvc5.git

Fix "make distclean", which should fix some of the build issues from last night
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 0bbc49e13..8932af26d 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -566,6 +566,12 @@ uninstall-local:
 	-rmdir "$(DESTDIR)$(includedir)/cvc4"
 	-rmdir "$(DESTDIR)$(libdir)/ocaml/cvc4"
 
+# This rule is ugly.  It's needed to ensure that automake's dependence
+# includes are available during distclean, even though they come from
+# directories that are cleaned first.  Without this rule, "distclean"
+# fails.
+%.Plo:; $(MKDIR_P) "$(dir $@)" && : > "$@"
+
 include @top_srcdir@/src/theory/Makefile.subdirs
 
 theory/rewriter_tables.h: theory/rewriter_tables_template.h theory/mkrewriter @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds