Sujet : Re: [GNAT Studio] projets GNAT
De : fantome.forums.tDeContes (at) *nospam* free.fr.invalid (Thomas)
Groupes : fr.comp.lang.adaDate : 13. Oct 2023, 04:27:21
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uga9u9$2udcb$1@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
Le 11/10/2023 à 09:12, Stéphane Rivière a écrit :
GnatStudio voit-il l'install GNAT ? (le PATH est-il bon ?)
$ type -a gnatmake
gnatmake est /usr/bin/gnatmake
gnatmake est /bin/gnatmake
$ echo $PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
Tu peux aussi associer l'extension .gpr à GnatStudio, c'est efficace.
Je n'ai pas GnatStudio dans la liste.
J'ai oublié de te dire dans l'autre fil :
Je ne peux pas conserver l’icône de GnatStudio dans le dock, je dois retrouver à chaque fois l’exécutable que j'ai téléchargé pour cliquer dessus.
Peut-être qu'il est nécessaire d'en faire un paquet Debian pour que ça marche, mais je suppose que cette question sera mieux sur un autre forum.
-- RAPID maintainerhttp://savannah.nongnu.org/projects/rapid/
[GNAT Studio] projets GNAT
Re: [GNAT Studio] projets GNAT