From 40dea7f4f4d9ed0a5821aa15996ae48f6c3c2eb0 Mon Sep 17 00:00:00 2001 From: Morgan Deters 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