Installer GNAT pour compiler de l'Ada en local !

Si vous préférez ne pas passer par montp ou par une machine virtuelle pour pouvoir coder en Ada, vous pouvez installer le compilateur GNAT directement sur votre ordinateur.

Cette page est consacrée à vous expliquer comment le faire sur les différents systèmes d'exploitation.

Rendez-vous directement à la section qui vous intéresse le plus:

• Linux
• MacOS
• Windows

Linux

Dans cette section, on va partir du principe que vous utilisez un Linux qui possède APT parce que vous êtes à l'INSA Toulouse et utilisez donc probablement Ubuntu.

• Commencez par ouvrir le terminal
• Saisissez la commande suivante:

sudo apt update
sudo apt install gnat

• Saisissez votre mot de passe si demandez (c'est normal que rien ne s'affiche pendant que vous écrivez pas de panique)
• Confirmez en appuyant sur la touche Y (ou O si vous êtes en français) quand vous êtes invités à le faire
• Attendez que le programme finisse d'installer GNAT pour vous
• Et c'est tout (on aime Linux)

Rendez-vous à la section Utiliser GNAT pour la suite.

MacOS

Ne marche apparement pas/plus : proceed with caution
En cas de doute préférez l'utilisation de monTP, les macs ne sont pas trop faits pour l'informatique et très long à débugguer ?

• Assurez-vous que Xcode est bien installé sur votre Mac (si ce n'est pas le cas vous pouvez le télécharger sur l'App Store)
• Rendez vous sur ce lien, sélectionnez ensuite "x86 Mac OS X (64 bits)" et l'année la plus récente
• Téléchargez le fichier en .dmg et exécutez-le pour installer GNAT
• Ouvrez un terminal et éditez votre fichier de configuration de Shell (vous verrez en Unix). Par défaut sur les macs ils s'agit de ZSH dans ce cas là faites la commande suivante:

sudo nano .zshrc

• Vous devrez peut-être saisir votre mot de passe (celui du Mac), c'est normal que rien ne s'affiche sur l'écran même pas de petits points/étoiles.
• Descendez en bas du fichier en utilisant la flèches vers le bas et ajoutez la ligne suivante à la fin du fichier:

export PATH=/Users/[TON NOM UTILSATEUR]/opt/GNAT/[ANNÉE QUE TU AS SELECTIONNÉE SUR LE SITE]/bin:$PATH

• (Pensez bien à remplacer ce qui est entre crochets par les vraies valeurs)
• Faites CTRL+X pour quitter et cliquez sur Y (ou O) pour confirmez que vous voulez enregistrer. Maintenant vous aurez accès à GNAT à chaque lancement de terminal.
• Relancez votre terminal

Windows

À venir ...

En attendant, vous pouvez installer un linux ou utiliser WSL

Utiliser GNAT (Linux et MacOS)

• Saisissez la commande suivante pour vérifier que ça a fonctionné :

gnat --version

• Vous devriez alors voir la version de GNAT que vous avez installé et d'autres informations. Si vous avez une erreur, quelque chose s'est mal passé, Google est alors votre meilleur ami !
• Si tout s'est bien passé jusque-là, vous devriez pouvoir enfin compiler vos codes ADA en utilisant une des deux commandes suivantes :

gnat make [NOM DU FICHIER].adb
gnatmake [NOM DU FICHIER].adb

• Enfin, pour exécuter votre programme, vous avez juste à faire la commande ./[NOM DU FICHIER] sans le .adb

Bien joué ! Vous pouvez maintenant utiliser GNAT sur votre machine !