This role is used to install GNAT Pro.
None.
gnat_download_url
: The download location of GNAT Pro
gnat_download_path
: The local path to the GNAT Pro download.
gnat_install_repo
: The GNAT community install script repo.
gnat_install_path
: The local path to the GNAT community install script.
gnat_local_path
: The local path where the final GNAT pro installation will be kept.