Suite a la demande d'un utilisateur, je vais expliquer comment installer le gnat
Après avoir dl le zip dans le lien précédent, il faut le décompresser.
ensuite, se mettre en mode root pour le déplacer dans le répertoire voulu.
Pour ma part:
sudo mv gnat /usr/local
une fois le déplacement effectué, pour que la commande soit visible de partout via le terminal, il ne faut pas oublier de renseigner le paths.
Pour se faire,
sudo nano /etc/paths
en éditant on rajoute notre ligne, mon /etc/paths contient :
/usr/bin
/bin
/usr/sbin
/sbin
/usr/local/gnat-gpl-2009-x86_64/bin
Voila, ensuite, redémarrer la console (cmd+Q et on lance une nouvelle console) et on vérifie que :
which gnatmake
pointe sur l'adresse voulu, pour moi ça donne ca:
which gnatmake
/usr/local/gnat-gpl-2009-x86_64/bin/gnatmake
Partager