GNAT Studio pour Linux

[Thomas]

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 ?

[DrPi]

Post by Thomas
bonjour :-)
j'aimerais installer GNAT Studio sous mon Linux (Ubuntu 22).
Comment faire ?
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/gnatstudio

Pour Linux, il y a un fichier .AppImage dans les releases.

[Thomas]

Post by DrPi

Post by Thomas
j'aimerais installer GNAT Studio sous mon Linux (Ubuntu 22).
Comment faire ?

Le projet GnatStudio est dur GitHub : https://github.com/AdaCore/gnatstudio
Pour Linux, il y a un fichier .AppImage dans les releases.

Merci :-)
Ça nécessite d'installer libfuse2 séparément, mais ça permet de lancer
GNAT Studio et de commencer à faire des choses avec :-)

L’étape d’après c'est de bien le prendre en main, mais ça nécessite de
faire d'autres fils parce qu'on change de sujet ...