by Nicolas Setton [GNAT Community product manager at AdaCore] – May 26, 2020
GNAT compiler toolchain
[GCC 9 except on macOS]
[Microsoft Language Server Protocol]
This means, in particular, that navigation works without requiring you to compile the codebase first.
Support for Visual Studio Code
If you are using Visual Studio Code, we have written a prototype extension for Ada and SPARK as part of our work on the Ada Language Server: you can find it on the Visual Studio Marketplace.
Notes on Mac OS
[unsigned, Xcode 10 and subsequent is required, no bare board Arm]