Hi Allison - Jim finished pushing your patch a day or two
ago. Complications in testing. Thanks for the contribution! --karl
[PATCH] dist: add new "pure-dist" automake option
Since v1.15.1-204-gac47c22e3, "make dist" has been depending on
$(BUILT_SOURCES) to avoid problems when building some GNU packages which
need to compile themselves as part of building their tarballs (for
example, to generate manpage content from
GNU Hello builds its manpage (which it dists) by building and running
the binary and capturing its --help output.
This is quite common (among GNU packages anyway). So it is not
surprising Jim (hi Jim) committed a general solution.
A blanket depend on $(BUILT_SOURCES) for all
BUILT_SOURCES solves a useful problem and we use it in our package for
a few things. Its stated purpose (from the docs) is all about
compilation and dependency tracking. It makes sense that
$(BUILT_SOURCES) should then be built as a prerequisite before any
targets that result in compilation:
