Skip to content

Commit 7b2a054

Browse files
Merge branch 'topic/remove_package_manager' into 'master'
Remove mention of package-managers to install GNAT See merge request eng/ide/ada_language_server!1797
2 parents 8d53320 + c1d53cc commit 7b2a054

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

integration/vscode/ada/README.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -56,8 +56,6 @@ The Ada & SPARK tools are available to the community through different channels:
5656
* [ALIRE](https://alire.ada.dev/): The Ada LIbrary Repository provides the means to install compiler [toolchains](https://alire.ada.dev/docs/#toolchain-management).
5757
The `gnatprove` crate provides GNATprove.
5858
Both tools are available for Linux, Windows and macOS.
59-
* On Linux distributions you can use your package manager to install [GCC](https://gcc.gnu.org/) which includes the GNAT Ada compiler.
60-
You also need to install the `gprbuild` package.
6159
* On Windows with [msys2](https://www.msys2.org/) you can install the `gcc` and `gprbuild` packages.
6260
* On macOS you can find GCC releases including GNAT for Intel and Apple silicon at [this project on GitHub](https://github.com/simonjwright/distributing-gcc/releases) courtesy of Simon Wright.
6361

0 commit comments

Comments
 (0)