Debian-facile

Theverglades

Membre

Distrib. : Wheezy 7.7.0

Noyau : Linux 3.2.0-4-powerpc

(G)UI : Xfwm4

Inscription : 22-11-2014

[Résolu] Installation & lancement de GNAT Community

Bonjour,
je souhaiterai apprendre à programmer et je me suis orienté vers le language ADA.
J'ai téléchargé GNAT Community sur le site d'Adacore, et à la fin de l'installation j'obtiens ceci :


Q1 - Comment et pourquoi ajouter cette ligne à mon "PATH environment variable" ?
Q2 - Comment lancer l'application ?

Ce sont sûrement des questions basiques j'ai lu des trucs sur les variables d'environnement mais cela m'a paru assez complexe et j'ai peur de faire une bêtise, d'où cette demande d'aide.

Merci beaucoup!

Dernière modification par Theverglades (07-04-2020 03:32:40)

---

" l'histoire est écrite par les vainqueurs! " - Robert Brasillach
Ma config : Debian sur iBook G4!

leonlemouton

Adhérent(e)

Distrib. : Debian Stable

(G)UI : Mate ∨ LXQt

Inscription : 14-08-2012

Re : [Résolu] Installation & lancement de GNAT Community

Salut,
Il y a des infos ici :
https://debian-facile.org/doc:programma … tilisateur

en gros ajouter :
PATH=$PATH:/home/djezz/App/ADA/bin
dans le fichier /home/djezz/.bashrc

il y a des infos ici aussi :
https://link.springer.com/content/pdf/b … -8%2F1.pdf
https://learn.adacore.com/courses/GNAT_ … stallation

Good luck !

---

Leonlemouton
°(")°

--gilles--

Membre

Lieu : Orléans - La Source

Distrib. : Debian 12

Noyau : Linux 6.1.0-26-amd64

(G)UI : Gnome - mutter 43.8-0+deb12u1

Inscription : 15-02-2016

Re : [Résolu] Installation & lancement de GNAT Community

R1 : Avant de rajouter un chemin dans ta variable d'environnement, tu peux connaître ta variable PATH en faisant :

echo $PATH

Ensuite, il faut rajouter le chemin de l'exécutable /home/$USER/App/ADA/bin dans la variable d'environnement PATH dans le fichier .bashrc avec par exemple la commande suivante dans le Terminal :

echo 'export PATH=$PATH:/home/$USER/App/ADA/bin' >> /home/$USER/.bashrc

Il faut fermer ce terminal et en ouvrir un autre pour que le changement soit pris en compte.


Tu refais :

echo $PATH

Pour vérifier que c'est bien pris en compte.


$USER est une variable d'environnement qui remplace ton nom d'utilisateur.

R2 : Un clic droit sur le symbole du fichier /home/$USER/App/ADA/bin dans l'explorateur de fichiers , puis choisir Lancer devrait lancer le programme.

---

Si tout le monde pense pareil, c'est qu'aucune personne ne pense beaucoup.
 Intel® Core™2 Duo E8500  × 2
4,0 Gio DDR3 - 1333 MHz
Et si vous cherchiez votre solution dans le wiki => https://debian-facile.org/accueil

Theverglades

Membre

Distrib. : Wheezy 7.7.0

Noyau : Linux 3.2.0-4-powerpc

(G)UI : Xfwm4

Inscription : 22-11-2014

Re : [Résolu] Installation & lancement de GNAT Community

Bonjour et merci pour vos réponses,
J'ai pu ajouter le chemin à ma variable d'environnement, mais je ne sais toujours pas comment lancer l'application car dans le chemin suivant /home/$USER/App/ADA/bin
"bin" est un dossier..

Il y a un readme que j'ai suivi :

INSTALLING

To install GPS, run the 'doinstall' script contained in this directory and
then follow the instructions. Make sure that you have sufficient privileges
to install GPS under the directory chosen: the default directory proposed
requires usually administrator rights (e.g. sudo doinstall).

USING

GPS comes with a user's guide and a tutorial available in HTML format using
the help menu under GPS itself, or by following the links from the welcome
page displayed when launching GPS, or directly in the directory
$base/share/doc/gps/html, where $base is the base directory chosen when
installing GPS (using doinstall).

Optionally, you might want to setup the environment variable GPS_DOC_PATH
to point to new doc directories. See the GPS documentation for more details.

j'ai essayé

sudo doinstall

mais cela n'a pas fonctionné

j'ai lancé le fichier avec un clic droit -> actions -> lancer depuis l'explorateur de fichiers
il voulait l'installer dans /opt/gps mais ça n'a pas marché car il n'avait  pas les droits ( )

j'ai recommencé l'opération et je lui ai donc indiqué que je voulais l'installer dans home/djezz/app/gps
et il a fait son installation. mais la j'ai le même problème je ne sais pas comment lancer le bouzin..

------------------------
           EDIT
------------------------
C'est bon j'ai fini par trouver!!

Le fichier "/gps/bin/gps" permet le lancement de l'application.
Maintenant il n'y a plus qu'à se mettre au travail, l'application me paraît complexe pour un débutant, j'espère que cela sera mieux foutu que la procedure d'installation.
Encore merci les gars pour votre aide!

Dernière modification par Theverglades (07-04-2020 03:31:58)

---

" l'histoire est écrite par les vainqueurs! " - Robert Brasillach
Ma config : Debian sur iBook G4!