From c48729f90e752425bb46c99e3becd59eeca1daaf Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 5 Nov 2012 22:34:33 +0000 Subject: fix for tarball building (fixes debian and distcheck problems in nightly builds) --- Makefile.am | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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: -- cgit v1.2.3