Ada/SPARK for Visual Studio Code
Repository | Issues | Documentation | Code Samples | Tutorial
This extension provides support for Ada/SPARK programing language via Ada language server which utilizes Libadalang library.
Ada compiler and debugger
The extension does not include an Ada compiler nor debugger. You will need to install these tools or use those already installed on your computer.
Popular Ada compilers are:
Make sure your compiler executable is in your platform path so the extension can find it. You can check availability of your Ada tools by opening the Integrated Terminal (Ctrl+`) in VS Code and try running the executable (for example
Install the Language Support for Ada extension
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Some useful links:
Feedback and Known Issues
File a bug or see known issues at github.