Re: Suppressing native compilation (short and long term)

[Lars Ingebrigtsen]

Rob Browning <rlb@defaultvalue.org> writes:

> It's also been suggested by some users that they might like to have a
> supported way to disable native compilation (even when it's the system
> default), in order to avoid the unpredictable cpu and/or battery cost
> sometimes.

I think you can set native-comp-deferred-compilation-deny-list to
(".*") to switch this stuff off.  That's not the most logical interface,
so perhaps there should also be a `inhibit-native-compilation' variable
or the like?

Andrea probably has some comments; added to the CCs.