From acf3c76475c42422083c4a4afbd74f927de88d8d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 8 Nov 2013 16:49:12 -0500
Subject: [PATCH] Fix "make distclean", which should fix some of the build
 issues from last night

---
 src/Makefile.am | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
2.30.2