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 0bbc49e134898f22eb1765597ec598ca20fe951f..8932af26dec708b60b1b2461a5132c0d401004cc 100644 (file)
--- 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