Re: Suppressing native compilation (short and long term)

[Liliana Marie Prikler]

Am Sonntag, dem 16.10.2022 um 10:55 +0200 schrieb Lars Ingebrigtsen:
> Andrea Corallo <akrl@sdf.org> writes:
> 
> > I thought this change was just into master "for discussion", are we
> > already suggesting users to integrate it in their infrastructures?
> 
> Yes, I should have mentioned that, as with everything on "master",
> things may change.  But a mechanism more or less like this will
> exist.
> 
> Liliana Marie Prikler <liliana.prikler@gmail.com> writes:
> 
> > > BTW AFAIU this usecase was already supported in 28 using
> > > `native-comp-deferred-compilation'.
> > The deferred-compilation switch still ends up writing to $HOME,
> > which the new inhibit one doesn't.  Should the former be deprecated
> > in favor of the latter or should it simply take up its meaning?
> 
> It has been deprecated on "master".
But this deprecation may be reverted; I'm simply asking that if it is,
then native-comp-deferred-compilation should take up some of the
meaning of the switch you've implemented.  As a user, I find it
somewhat surprising that whatever means I have to inhibit deferred
compilation actually inhibit neither deferred compilation nor its side-
effects.

Cheers