comment installer et utiliser la langage ada

Cher débutant en ada je te salue !

Voici un petit quelque chose qui pourrait servir à tout le monde : une méthode pour télécharger et installer un compilateur ada ainsi que la librairie P_ESiut (développée par l'IUT2 de grenoble) sur votre machine afin de pouvoir utiliser ada tranquillement assis la chaise de votre bureau, chez vous.

PREMIÈRE chose à faire quand on ouvre sa session linux => Ouvrir une console ! Faites-le donc

1) Installons tout d'abord le compilateur ada "GNAT" :

Code : Console - Sélectionner
sudo apt-get install gnat-4.1

Ne vous étonnez pas si c'est un peu long, le zip fait tout de même 7508KB

2) Ensuite, téléchargez l'archive (zip) suivante : [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] [...] _page&id=1905

2 - bis) Ou si le TP d'ASR (Architecture de Systèmes et Réseaux) vous a donné envie d'apprendre un peu plus sur la console :

Code : Console - Sélectionner
wget [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط]


2 - bis -bis) Ou si vous vous sentez l'âme d'un Geek aguerri, faites donc ceci :

Code : Console - Sélectionner
wget [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] --progress=bar -v


3) Extraction les fichiers P_Esiut.adb et P_Esiut.ads

Code : Console - Sélectionner
unzip p_esiut.zip P_Esiut.adb P_Esiut.ads


4) Ensuite, cherchez les fichiers .ads existant déjà sur votre PC afin de trouver le chemin du dossier où GNAT range ses librairies :

Code : Console - Sélectionner
sudo find / -name *.ads


4 - bis) Ou si vous avez vraiment envie d'en faire beaucoup (trop) pour vous la péter devant les mecs ébahis à coté de vous :

Code : Console - Sélectionner
mkdir ~/dirTemp ; sudo find /usr/ -name *.ads >> ~/dirTemp/temp01.txt ; tail ~/dirTemp/temp01.txt ; rm -r /home/grobs/dirTemp


Notez que l'on peut résumer ce qui est fait juste au-dessus en fait comme ça :

Code : Console - Sélectionner
find /usr/ -name *.ads | tail

Personnellement je trouve ça bien plus classe que la commande horrible juste au-dessus mais bon, chacun son style

5) Normalement, si un interpréteur ada (comme gnat) est bien installé sur votre machine, vous aurez pour résultat plusieurs lignes (des dizaines à vrai dire) contenant :

Code : Console - Sélectionner
/usr/lib/gcc/i486-linux-gnu/4.1/adainclude/FICHIER.ads


6) Copiez le répertoire de ces fichiers (à savoir /usr/lib/gcc/i486-linux-gnu/4.1/adainclude/ ) et faites :

Code : Console - Sélectionner
sudo cp ~/p_esiut/* /usr/lib/gcc/i486-linux-gnu/4.1/adainclude/



Attention, le chemin sera peut-être différent chez vous, surtout si vous utilisez une machine 64 bits !

En plus, le tuto vous fait travailler les recherches avec masque "*", les pipes (redirections de flux), la récupération de fichier sur internet (wget), la manipulation de fichiers (mkdir, rm, tail, etc)... Que demande le peuple