GNU bug report logs - #60386
[PATCH] gnu: Add guile-proba.

Previous Next

Full log

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

From: Luis Felipe <luis.felipe.la <at> protonmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 60386 <at> debbugs.gnu.org
Subject: Re: bug#60386: [PATCH] gnu: Add guile-proba.
Date: Fri, 13 Jan 2023 15:41:42 +0000

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

On Tuesday, January 10th, 2023 at 10:48, Ludovic Courtès <ludo <at> gnu.org> wrote:

> I don’t think ‘guile-3.0’ and ‘texinfo’ need to be propagated, do they?

They do? If I don't propagate them, running the "proba" script fails because the "proba" library can't be found and running "info guile-proba" the info command is not found (I just tried in a foreign distro and also using a pure shell on my Guix system). 


Things only work as expected if I propagate "guile-3.0" and "texinfo" or if I don't propagate them but tell users to install them themselves (guix install guile-proba guile texinfo).

So I'm not sure what I should do...

[publickey - luis.felipe.la@protonmail.com - 0x12DE1598.asc (application/pgp-keys, attachment)]

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

Previous Next

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