> I can confirm that gnat-4.9 works OK (as well as gnat-4.6). Great. > I wonder whether bugzilla is still the right place to document this, given > 4.8 is now end-of-lifed...do you know of anywhere appropriate? This would be here I guess: https://gcc.gnu.org/install/specific.html#arm-x-eabi -- Eric Botcazou