mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00

Files

Anthony Leonardo Gracio e7d0f84bbc UC01-021: recompute predefined tasks when scenario vars change

The predefined tasks for gprbuild should be recomputed when the scenario
variables change, to provide the right command line when building.

2021-12-10 17:17:18 +01:00

.vscode

U705-017 Port extension from JS to TS

2021-07-12 17:34:44 +02:00

advanced

add body patterns to declare section

2021-08-09 16:27:13 +03:00

icons

Pack lanugage server binaries and upload them to bintray

2019-01-11 13:54:40 +02:00

src

UC01-021: recompute predefined tasks when scenario vars change

2021-12-10 17:17:18 +01:00

syntaxes

Put back the simple classifier for Ada

2020-05-05 12:15:03 -04:00

testsuite_grammar

Rework of the highlighting for vs code

2020-07-23 11:39:50 +03:00

.eslintrc.json

U705-017 Port extension from JS to TS

2021-07-12 17:34:44 +02:00

.gitignore

U705-017 Port extension from JS to TS

2021-07-12 17:34:44 +02:00

.prettierrc

U705-017 Port extension from JS to TS

2021-07-12 17:34:44 +02:00

.vscodeignore

Add VSCode integration stuff

2018-09-19 21:00:55 +03:00

ada-snippets.json

fix snippet indentation characters

2021-08-08 09:28:19 +03:00

CONTRIBUTING.md

Updated CONTRIBUTING.md with more information

2020-04-26 11:43:50 -04:00

gpr-language-configuration.json

Convert syntax from plist to json.

2019-11-25 18:28:24 +02:00

gpr-snippets.json

fix snippet indentation characters

2021-08-08 09:28:19 +03:00

language-configuration.json

Add highlighting for Ada operators.

2019-11-25 18:28:24 +02:00

package.json

U218-014 Add task provider for gnatprove

2021-09-29 00:28:32 +03:00

README.md

Add links to the tutorial

2021-08-09 16:28:56 +03:00

run_grammar_tests.sh

Put back the simple classifier for Ada

2020-05-05 12:15:03 -04:00

tsconfig.json

U705-017 Port extension from JS to TS

2021-07-12 17:34:44 +02:00

README.md

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
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.