Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

GNAT Studio pour Linux

13 views
Skip to first unread message

Thomas

unread,
Sep 15, 2023, 6:29:25 PM9/15/23
to
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 ?


--
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

DrPi

unread,
Sep 16, 2023, 4:10:55 AM9/16/23
to
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/gnatstudio

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

Thomas

unread,
Oct 9, 2023, 9:42:42 PM10/9/23
to
Le 16/09/2023 à 10:10, DrPi a écrit :
> Le 16/09/2023 à 00:29, Thomas a écrit :

>> 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 ...
0 new messages