Download the latest gnu-config files in make dist.

* builds/toplevel.mk: In `make dist`, checkout gnu-config
git repository at savannah, copy the latest versions of
`config.guess` and `config.sub` to builds/unix/.  Also
the latest version of `gitlog-to-changelog` is used to
generate `ChangeLog`.
This commit is contained in:
suzuki toshiya 2024-10-18 14:02:22 +09:00
parent 1394436633
commit 0ae7e60737

View File

@ -274,12 +274,16 @@ dist:
# GNU `config' git repository), relative to the `tmp' directory used during
# `make dist'.
#
CONFIG_GUESS = ~/git/config/config.guess
CONFIG_SUB = ~/git/config/config.sub
# GNU_CONFIG_GIT_URL = git://git.savannah.gnu.org/config.git
GNU_CONFIG_GIT_URL = https://git.savannah.gnu.org/git/config.git
GNU_CONFIG_DESTDIR = $(TOP_DIR)/subprojects/gnu-config
CONFIG_GUESS = $(GNU_CONFIG_DESTDIR)/config.guess
CONFIG_SUB = $(GNU_CONFIG_DESTDIR)/config.sub
# We also use this repository to access the gnulib script that converts git
# commit messages to a ChangeLog file.
CHANGELOG_SCRIPT = ~/git/config/gitlog-to-changelog
CHANGELOG_SCRIPT = $(GNU_CONFIG_DESTDIR)/gitlog-to-changelog
# Don't say `make do-dist'. Always use `make dist' instead.
@ -295,6 +299,8 @@ do-dist: distclean refdoc
sh autogen.sh
rm -rf $(TOP_DIR)/builds/unix/autom4te.cache
rm -rf $(GNU_CONFIG_DESTDIR)
git clone https://git.savannah.gnu.org/git/config.git $(GNU_CONFIG_DESTDIR)
cp $(CONFIG_GUESS) $(TOP_DIR)/builds/unix
cp $(CONFIG_SUB) $(TOP_DIR)/builds/unix
@ -312,5 +318,6 @@ do-dist: distclean refdoc
@# Remove more stuff related to git.
rm -rf $(TOP_DIR)/subprojects/dlg
rm -rf $(TOP_DIR)/subprojects/gnu-config
# EOF