GNU bug report logs - #49317
dist: depends on $(BUILT_SOURCES), but has no reason to

Previous Next

Full log

Message #11 received at 49317 <at> debbugs.gnu.org (full text, mbox):

From: Allison Karlitskaya <allison.karlitskaya <at> redhat.com>
To: Karl Berry <karl <at> freefriends.org>
Cc: 49317 <at> debbugs.gnu.org
Subject: Re: bug#49317: dist: depends on $(BUILT_SOURCES), but has no reason to
Date: Fri, 2 Jul 2021 14:56:19 +0200

[Message part 1 (text/plain, inline)]

[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 --help output).  This default
behaviour might be "too much" for other projects, though, so add a new
option "pure-dist" to disable it.

* NEWS:
* bin/automake.in:
* doc/automake.texi: Add a new option "pure-dist" to disable the
dependency of distdir: on $(BUILT_SOURCES).
* t/pure-dist.sh:
* t/impure-dist.sh: Add a pair of tests for a similar scenario with and
  without the option.

Fixes automake bug https://debbugs.gnu.org/49317
---
 NEWS                    |  3 ++
 bin/automake.in         |  3 +-
 doc/automake.texi       |  7 +++++
 lib/Automake/Options.pm |  1 +
 lib/am/distdir.am       |  5 ++++
 t/impure-dist.sh        |  1 +
 t/pure-dist.sh          | 66 +++++++++++++++++++++++++++++++++++++++++
 7 files changed, 85 insertions(+), 1 deletion(-)
 create mode 120000 t/impure-dist.sh
 create mode 100644 t/pure-dist.sh

[0001-dist-add-new-pure-dist-automake-option.patch (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.