yeah, I only noticed this after completing the above post
because compilers are tools not end user applications, which is what I prefer keeping in /Applications
(it was a kludge that i put axoloti_runtime in /Applications
)
anyway, as above, Ive put the whole gcc-arm-none-eabi-9-2019-q4-major in /usr/local
anyway, all cool...
I only noticed afterwards that you have assumed gcc-arm-none-eabi-7-2018-q2-update and its placed in /Applications ... thats ok, for most end-users! (and I can override so im happy)
p.s. I dont think you get the warning about the version until you have some form of gcc-arm-none-eabi installed... hence why I wasnt sure what the process was.
(is it generated by make which is not available till installed ? ... or perhaps i missed the error?)