diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-08 16:49:12 -0500 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-11-10 18:47:36 -0600 |
| commit | 40dea7f4f4d9ed0a5821aa15996ae48f6c3c2eb0 (patch) | |
| tree | 1bd259617ca510dd1a70ce3a8a3576d7d907ac70 | |
| parent | 7587463f338164d9adbebd117ecf63246e2d32e8 (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 |