GNU bug report logs - #56030
The guix pull profile is too big

Previous Next

Full log

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

From: "(" <paren <at> disroot.org>
To: "(" <paren <at> disroot.org>, "Maxime Devos" <maximedevos <at> telenet.be>,
 "Julien Lepiller" <julien <at> lepiller.eu>, <56030 <at> debbugs.gnu.org>
Subject: Re: bug#56030: The guix pull profile is too big
Date: Thu, 21 Jul 2022 16:38:39 +0100

On Thu Jul 21, 2022 at 4:03 PM BST, paren--- via Bug reports for GNU Guix wrote:
> Would this not violate POSIX?
Correction: system(3) is ISO C, not POSIX.

But:

@ C11 7.1.4p1
```
... it is permitted to take the address of a library function even if it
is also defined as a macro ^185 ...

185) This means that an implementation shall provide an actual function
for each library function, even if it also provides a macro for that
function.
```

Note the footnote. So this technically would be a violation of ISO C,
but trivially fixed. Apologies for the noise! (Though the SHELL_PATH
solution still applies, of course.)

    -- (

Previous Next

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