GNU bug report logs - #60358
[PATCH] gnu: Add gnulib.

Previous Next

Full log

View this message in rfc822 format

From: Simon Josefsson <simon <at> josefsson.org>
To: 60358 <at> debbugs.gnu.org
Cc: vivien <at> planete-kraus.eu
Subject: [bug#60358] [PATCH] gnu: Add gnulib.
Date: Tue, 27 Dec 2022 19:44:16 +0100

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

Hi.  Many packages needs a specific checkout of gnulib to work reliably,
via --gnulib-refdir= (rather than --gnulib-srcdir=), would you consider
installing the entire gnulib git archive instead of just the latest
checkout?  Since so many packages these days require different versions
of gnulib, it may make sense to mak the gnulib git archive available as
an installed Guix package, so that other packages may bootstrap build
from it and get the intended gnulib git checkout.

If a checked out gnulib git archive is available as a Guix package,
other packages could build-depend on it and use both --gnulib-refdir and
--gnulib-srcdir.  If I understand your approach now, only
--gnulib-srcdir is possible.

You could put the git archive under /share/gnulib-git or merely
/share/gnulib/ and set both GNULIB_REFDIR and GNULIB_SRCDIR.

/Simon

[signature.asc (application/pgp-signature, inline)]

Previous Next

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