diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-08 16:49:12 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-08 16:49:12 -0500 |
commit | acf3c76475c42422083c4a4afbd74f927de88d8d (patch) | |
tree | 1bd259617ca510dd1a70ce3a8a3576d7d907ac70 | |
parent | a32a3e05bd8e012d7ac75427becdae9aff8cbc12 (diff) |
Fix "make distclean", which should fix some of the build issues from last night
-rw-r--r-- | src/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
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 |