You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
38 lines
1.4 KiB
Plaintext
38 lines
1.4 KiB
Plaintext
{
|
|
"folders": [
|
|
{
|
|
"path": "."
|
|
}
|
|
],
|
|
"settings": {
|
|
"ada.projectFile": "default.gpr",
|
|
|
|
// Set a workspace-specific environment for Linux/OSX platforms
|
|
"terminal.integrated.env.linux": {
|
|
// Set MAIN_NUMBER scenario variable to MAIN_2 directly from the environment
|
|
"MAIN_NUMBER": "MAIN_2",
|
|
|
|
// Optionally, you can append the Ada toolchain of your choice to the PATH environment variable
|
|
// if you want to use a different toolchain.
|
|
"PATH": "${env:HOME}/.local/share/alire/toolchains/gnat_native_13.2.2_a27fd794/bin:${env:HOME}/.local/share/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin:${env:PATH}",
|
|
|
|
// Append the path to the directory containing print_utils.gpr project file dependency to
|
|
// the GPR_PROJECT_PATH environment variable
|
|
"GPR_PROJECT_PATH": "./imported:${env:GPR_PROJECT_PATH}:"
|
|
},
|
|
|
|
// Set a workspace-specific environment for Windows
|
|
"terminal.integrated.env.windows": {
|
|
// Set MAIN_NUMBER scenario variable to MAIN_2 directly from the environment
|
|
"MAIN_NUMBER": "MAIN_2",
|
|
|
|
// Optionally, you can append the Ada toolchain of your choice to the PATH environment variable
|
|
// if you want to use a different toolchain.
|
|
// "PATH": "<PATH_TO_TOOLCHAIN>;${env:PATH}",
|
|
|
|
// Append the path to the directory containing print_utils.gpr project file dependency to
|
|
// the GPR_PROJECT_PATH environment variable
|
|
"GPR_PROJECT_PATH": ".\\imported;${env:GPR_PROJECT_PATH}:"
|
|
}
|
|
}
|
|
} |