ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity

Move environment setup section in user's guide

Browse Source 
And add a sentence for remote setups.

For eng/ide/ada_language_server#1705
This commit is contained in:
Anthony Leonardo Gracio
2025-08-26 14:56:41 +00:00
parent e3063dd5d8
commit 78ebcd4deb
2 changed files with 14 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
doc/vscode-ug.md
View File

@@ -36,6 +36,20 @@ Here are some links that will help you get familiar with the VS Code extension f
* [Tutorial: Using Ada in VS Code](./Getting-Started.md).
## Environment Setup
The following environment variables influence the operation of the Ada extension:
* `PATH` should include the path to the GNAT compiler installation in order to benefit from auto-completion and navigation into the standard runtime.
Without it, auto-completion and navigation will work only on the sources visible in the project closure, but not on the packages of the standard library `Ada.*`.
* `GPR_PROJECT_PATH` provides paths to other `.gpr` Ada projects that your project depends on.
When running VS Code locally, you can provide these environment variables by exporting them in a terminal, and starting VS Code from that same terminal with the `code` command.
If you are running VS Code to develop on a remote machine, please refer to the [dedicated section](#vs-code-remote) to setup your environment properly.
## Configuration
[ALS settings](./settings.md) can be specified in various ways. For example:

11
integration/vscode/ada/README.md
View File

@@ -56,17 +56,6 @@ The `gnatprove` crate provides GNATprove.
Both tools are available for Linux, Windows and macOS (Intel and Apple silicon)
* On Windows with [msys2](https://www.msys2.org/) you can install the `gcc` and `gprbuild` packages.
## Environment Setup
The following environment variables influence the operation of the Ada extension:
* `PATH` should include the path to the GNAT compiler installation in order to benefit from auto-completion and navigation into the standard runtime.
Without it, auto-completion and navigation will work only on the sources visible in the project closure, but not on the packages of the standard library `Ada.*`.
* `GPR_PROJECT_PATH` provides paths to other `.gpr` Ada projects that your project depends on.
When running VS Code locally, you can provide these environment variables by exporting them in a terminal, and starting VS Code from that same terminal with the `code` command.
## Documentation
* [Ada Language Server README.md: VS Code Extension](https://github.com/AdaCore/ada_language_server/blob/master/README.md#vs-code-extension)