diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-05 22:34:33 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-05 22:34:33 +0000 |
| commit | c48729f90e752425bb46c99e3becd59eeca1daaf (patch) | |
| tree | 436f28bd13e33165e57c7a37aa02c209b4de520e /Makefile.am | |
| parent | 1c779966545190efa59b019572237562eea66dbf (diff) | |
fix for tarball building (fixes debian and distcheck problems in nightly builds)
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 12 |
1 files changed, 12 insertions, 0 deletions
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: |