- To participate or for any information please reach Olivier Henley
- Our process has been optimized for and tested exclusively on Linux, specifically Ubuntu 20.04/22.04 LTS.
- For the best experience, we advise installing and using Linux (preferably Ubuntu LTS) as your operating system.
- Download and unzip the Alire 2.0 linux zip
- Add
where_you_unzipped/alr
to PATH - Verify Alire is found on your path.
which alr
The GAP Alire index hosts crates for internal review before public release in the community index. Add this index for access to early crate versions.
From a command line, install the GAP Alire index named gap
locally:
alr index --add git+https://github.com/GNAT-Academic-Program/alire-index --name gap
sudo snap install --classic code
code --install-extension adacore.ada
sudo apt-get install openocd
alr index --del gap