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.

Getting started

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:

• GNAT Community Edition
• GNAT of GCC in a Linux distro. Also install gprbuild package.
• GNAT for Windows in msys2. Also install gprbuild package.
• GNAT for Mac OS X

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 gnatls -v).

Install the Language Support for Ada extension

Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.

ext install AdaCore.ada

Documentation

Some useful links:

• Tutorial: Using Ada in VS Code
• Supported refactoring tools
• Custom colors for Ada sources
• Usage in a Remote container example
• Ada Language Server README.md
• Code Samples with Build and Debug tasks

Feedback and Known Issues

File a bug or see known issues at github.