Sujet : Re: GNAT Studio pour Linux
De : 314 (at) *nospam* drpi.fr (DrPi)
Groupes : fr.comp.lang.adaDate : 16. Sep 2023, 10:10:53
Autres entêtes
Organisation : Posted through news.alphanet.ch
Message-ID : <ue3nud$7s5$1@shakotay.alphanet.ch>
References : 1
User-Agent : Mozilla Thunderbird
Le 16/09/2023 à 00:29, Thomas a écrit :
bonjour :-)
j'aimerais installer GNAT Studio sous mon Linux (Ubuntu 22).
Comment faire ?
J'ai trouvé le paquet "gnat-gps" dans Ubuntu 20 :
https://packages.ubuntu.com/focal/gnat-gps
mais plus rien qui correspond à ça dans les versions suivantes.
si la méthode recommandée est d'installer Alire, y a-t-il un paquet pour lui ?
Le projet GnatStudio est dur GitHub :
https://github.com/AdaCore/gnatstudioPour Linux, il y a un fichier .AppImage dans les releases.
GNAT Studio pour Linux
Re: GNAT Studio pour Linux