Re: Merging MPS a.k.a. scratch/igc, yet again

[Gregor Zattler]

Hi Pip, Emacs developers,
* Pip Cet via "Emacs development discussions." <emacs-devel@gnu.org> 
[2024-12-10; 15:10 GMT]:
> ...and more problems. MPS has made the decision not to work with gcc -O3, 
> only with -O2 or less, and LTO in particular is something MPS cannot reliably 
> support, IIUC.

is this (-O2) true only for building mps or
also for building Emacs with
--with-mps=yes?  If the latter it should
be documented in README-IGC, I think.


I built mps as instructed in README-IGC,
but tried to build emacs with -O3 and it
crashed.  I can reproduce and file a
bug, if you are interested.


Ciao; Gregor
--
 -... --- .-. . -.. ..--.. ...-.-