Re: Finalizing 'inhibit-automatic-native-compilation'

[Aymeric Agon-Rambosson]

Le samedi 11 février 2023 à 12:44, Eli Zaretskii <eliz@gnu.org> a 
écrit :

> > What part exactly ? The ability to pass nil as last argument of 
> > `comp--native-compile', the deletion after the loading of the 
> > trampoline, or both ?
>
> The deletion after loading part.

Well, if that's the case, passing nil as last argument of 
`comp--native-compile' would still work.

Being able to do (setq comp-enable-subr-trampolines 
'compile-but-no-output) would be quite practical. The temporary 
file would be created by `make-temp-file', according to the value 
of `temporary-file-directory', and we wouldn't have to worry about 
specifying some exact location ourselves (but being still able to 
so with the string value, as you've proposed, could prove useful 
in some cases as well).

Best,

Aymeric