From: Ricardo Wurmus <rekado@elephly.net>
To: Chris Marusich <cmmarusich@gmail.com>
Cc: guix-devel <guix-devel@gnu.org>
Subject: Re: [PATCHES] gnu: linux-libre: Update to 4.16
Date: Wed, 09 May 2018 10:56:08 +0200 [thread overview]
Message-ID: <8736z1gqc7.fsf@elephly.net> (raw)
In-Reply-To: <8736z11g6k.fsf@gmail.com>
Chris Marusich <cmmarusich@gmail.com> writes:
> ludo@gnu.org (Ludovic Courtès) writes:
>
>> Hello,
>>
>> Chris Marusich <cmmarusich@gmail.com> skribis:
>>
>>> Mark H Weaver <mhw@netris.org> writes:
>>>
>>>> So, we still have a decision to make: whether to delete these generated
>>>> files (possibly in a snippet) to avoid using pre-generated non-source
>>>> files in our build. I would be in favor of it.
>>>>
>>>> I'd like to hear opinions on this.
>>
>> I’d be in favor of removing these, especially since that seems to be an
>> easy change, but…
>>
>>> Perhaps we can consider our existing packages as a precedent. Many
>>> packages include files in their source distribution that were
>>> auto-generated by the Autotools. For example, consider the "configure"
>>> script that Autoconf generates. Is there a significant difference
>>> between the "configure" script and the "pre-generated non-source files"
>>> you're talking about?
>>
>> Indeed, there’s a long tradition in GNU to ship generated code to
>> facilitate bootstrapping. There’s configure, Makefile.in, etc., and
>> there’s also Bison- and Flex-generated files often.
>>
>> I have mixed feelings about this. I think it’s great to be able to use
>> these pre-generated files; our bootstrap graph would be much more
>> complicated or even out of reach if we were to re-generate everything.
>> OTOH, it’s true that this is the elephant in the room in terms of
>> bootstrapping.
>>
>> Maybe it’s a can of worms we’d rather leave aside. :-)
>>
>> Thoughts?
>
> Given the profound silence on this topic, I am inclined to agree with
> you that it's a can of worms we'd rather leave aside. Therefore, I
> think we should do whatever is most practical, so I am happy to defer to
> Mark on this. If it's easy to remove the auto-generated files, I see no
> reason for us to avoid removing them. If it's difficult to remove the
> auto-generated files, I don't think we should bend over backwards to
> remove them.
I agree that this can be a case by case decision.
In general I’d like *all* generated files to be rebuilt from source,
including build system files. Since this can be problematic I’d adopt a
pragmatic approach of removing and rebuiling generated files when it is
clearly feasible.
For things that are really difficult and seemingly hopeless we have the
bootstrappable project.
--
Ricardo
prev parent reply other threads:[~2018-05-09 9:11 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-07 18:36 [PATCHES] gnu: linux-libre: Update to 4.16 Mark H Weaver
2018-04-07 21:06 ` Leo Famulari
2018-04-08 1:10 ` Mark H Weaver
2018-04-08 8:28 ` Vincent Legoll
2018-04-08 15:16 ` Mark H Weaver
2018-04-09 0:35 ` Chris Marusich
2018-04-09 15:38 ` Ludovic Courtès
2018-05-09 6:44 ` Chris Marusich
2018-05-09 8:56 ` Ricardo Wurmus [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8736z1gqc7.fsf@elephly.net \
--to=rekado@elephly.net \
--cc=cmmarusich@gmail.com \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.