gnat-ce-2020-arm-eabi-darwin-bin won’t link
Sorry, everyone, I'm not sure what the problem was here. The reference to /Volumes/Miscellaneous/ is unfortunate, I don't know how/whether newlib could be built so as not to show it; but at least you get the newlib-3.3.0 release ID! I'm going to stick to FSF work in future (as, for public releases, are AdaCore).
gnatstub etc won’t run in GCC 11.1.0 release
Fixed in 11.2.0 release.
gnat-ce-2020-arm-eabi-darwin-bin won’t link
Fixed in the 11.2.0 release.
gnatstub etc won’t run in GCC 11.1.0 release
It is set to compile with -gnat05, i.e. Ada 2005 mode. You can override this with -gnat2012 in the compiler options (and -gnata if you want to use preconditions etc). I won't be using it myself (because Emacs) but I have to say the way it formats keywords to UPPER CASE is so last century!
Is AdaGIDE Ada 2012 compliant? Ada 2005 compliant?