diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-06-03 14:31:50 -0500 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-06-03 14:37:04 -0500 |
commit | 739990a32b7ffaf31e3acb9a8f491840f0d59cb2 (patch) | |
tree | d1ded007b09c51c98b977476f82c1cd3de80b847 /INSTALL.REPO | |
parent | 21b21cfc9e4830ee559f20aff270d151c2f1b44c (diff) | |
download | groff-git-739990a32b7ffaf31e3acb9a8f491840f0d59cb2.tar.gz |
INSTALL.REPO: Add more snapshot archive material.
Diffstat (limited to 'INSTALL.REPO')
-rw-r--r-- | INSTALL.REPO | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/INSTALL.REPO b/INSTALL.REPO index dccb35533..066cb77d7 100644 --- a/INSTALL.REPO +++ b/INSTALL.REPO @@ -65,6 +65,26 @@ We therefore do the following. $ wget -O gnulib.tar.gz https://git.savannah.gnu.org/cgit/gnulib.git/\ snapshot/gnulib-$hash.tar.gz $ tar xf gnulib.tar.gz + +Before we can proceed, we need to patch a bug in gnulib's +"git-version-gen" script. + +--- build-aux/git-version-gen~ 2022-06-03 18:34:08.175890973 +0000 ++++ build-aux/git-version-gen 2022-06-03 17:51:02.221945195 +0000 +@@ -189,7 +189,7 @@ + # Remove the "g" to save a byte. + v=`echo "$v" | sed 's/-\([^-]*\)-g\([^-]*\)$/.\1-\2/'`; + v_from_git=1 +-elif test "x$fallback" = x || git --version >/dev/null 2>&1; then ++elif test "x$fallback" = x && ! git --version >/dev/null 2>&1; then + v=UNKNOWN + else + v=$fallback + +Place the foregoing in a file called "../git-version-gen.patch", apply +it, then run the bootstrap script. + + $ patch -d gnulib-$hash -p0 < ../git-version-gen.patch $ ./bootstrap --gnulib-srcdir=gnulib-$hash |