GNAT Studio (formerly known as GNAT Programming Studio or GPS) is a powerful, lightweight Integrated Development Environment (IDE) designed primarily for Ada and SPARK development, with additional support for C and C++.
While Alire is now the recommended tool for managing Ada toolchains and libraries, it does not currently install the GNAT Studio IDE automatically. You must install the IDE manually via GitHub and then point Alire to it. How to Install GNAT Studio on Linux For the standard GitHub binary release, follow these steps: gnat studio download linux
You can download precompiled binary archives directly from the AdaCore GNAT Studio GitHub Releases page. Look for the tar.gz archive for Linux x86-64. GNAT Studio (formerly known as GNAT Programming Studio
A community-maintained version is available as an AppImage , which allows you to run the IDE without a traditional installation process. How to Install GNAT Studio on Linux For
Since the discontinuation of the "GNAT Community" all-in-one installers in 2022, there are two primary ways to obtain the IDE for Linux: