From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 5 Nov 2012 22:34:33 +0000 (+0000)
Subject: fix for tarball building (fixes debian and distcheck problems in nightly builds)
X-Git-Tag: cvc5-1.0.0~7651
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c48729f90e752425bb46c99e3becd59eeca1daaf;p=cvc5.git

fix for tarball building (fixes debian and distcheck problems in nightly builds)
---

diff --git a/Makefile.am b/Makefile.am
index 40994452a..4fe615286 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -130,7 +130,19 @@ doc/pcvc4.1:
 	rm -f doc/pcvc4.1
 	$(LN_S) cvc4.1 doc/pcvc4.1
 
+# Can't put the first several in EXTRA_DIST because those are processed
+# *before* recursive "make dist", and these files are generated in a
+# subdirectory invocation of "make dist".
+#
+# The Makefile also can't go in EXTRA_DIST, because then automake thinks
+# it's the one in the builddir and we want the one from the srcdir.
 dist-hook:
+	cp -p \
+		doc/cvc4.1 \
+		doc/libcvc4.3 \
+		doc/SmtEngine.3cvc \
+		doc/options.3cvc \
+		"$(distdir)/doc"
 	cp -p "$(srcdir)/Makefile" "$(distdir)/Makefile"
 
 distclean-local: