GNU bug report logs - #54570
[PATCH] gnu: Add parole.

Previous Next

Package: guix-patches;

Reported by: tumashu <at> 163.com

Date: Fri, 25 Mar 2022 23:06:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Maxime Devos <maximedevos <at> telenet.be>
Cc: Feng Shu <tumashu <at> 163.com>, 54570 <at> debbugs.gnu.org
Subject: [bug#54570] [PATCH] gnu: Add parole.
Date: Wed, 06 Apr 2022 14:23:02 +0200

Maxime Devos <maximedevos <at> telenet.be> skribis:

> Ludovic Courtès schreef op wo 06-04-2022 om 10:10 [+0200]:
>> Maxime Devos <maximedevos <at> telenet.be> skribis:
>> 
>> > Ludovic Courtès schreef op ma 04-04-2022 om 22:54 [+0200]:
>> > > +                  #:sh (search-input-file inputs "bin/bash")
>> > 
>> > FWIW, this line is unneccessary due to the 'patch-shebangs' phase,
>> 
>> Is it?  The default value of #:sh is (which "bash"), which is the wrong
>> value when cross-compiling, isn’t it?
>
> The default value is wrong when cross-compiling, so at least
> temporarily, the shebang will be wrong.  However, %standard-phases has
>
> (phases ... install patch-shebangs ...)
>
> so after the 'wrap-parole' phase, 'patch-shebangs' is run, and this
> phase will correct the shebang.

Oh, got it; this is perfect.

Thanks,
Ludo’.
This bug report was last modified 3 years and 41 days ago.

Previous Next

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