Le compilateur GNAT


GNAT est un acronyme pour GNu Ada Translator. Il fournit plusieurs utilitaires pour la compilation de programmes ADA, dont gnatmake, le plus simple et le plus universel, que nous allons utilisé.

Pour compiler avec gnatmake, si le programme principal s'intitule toto.adb, il suffit de taper

L'exécutable produit est toto. Notez-bien que lors de l'invocation de gnatmake, il ne faut mentionner que l'unité principale, et pas les paquetages utilisés. En effet, en une seule instruction, gnatmake accomplit trois opérations :
  1. compilation du (des) fichier(s) source(s), avec gcc -c. A ce niveau, gnatmake détecte les relations de dépendance entre les unités.

  2. test de cohérence de version des différentes unités avec gnatbind.

  3. édition des liens : production d'un exécutable à partir des fichiers objets, avec gnatlink.
L'étape de compilation produit un fichier objet .o et un fichier .ali par unité. Les fichiers .ali (pour Ada Library Information) contiennent les informations nécessaires ensuite à gnatbind et gnatlink.

Pour plus d'informations, vous pouvez explorer le guide utilisateur ou le manuel de GNAT.


Retour à la page ADA