Différences

Ci-dessous, les différences entre deux révisions de la page.

--- ada [Le 09/10/2023, 21:02]
83.113.57.126 [Utiliser des APIs, IHM et autres]
+++ ada [Le 26/05/2025, 15:35] (Version actuelle)
Ilari1 [Installation du compilateur GNAT]
@@ Ligne 1: / Ligne 1: @@
 {{tag>programmation}}
-====== Programmer en ADA avec Ubuntu ======
+====== Programmer en Ada avec Ubuntu ======
-Le [[https://fr.wikipedia.org/wiki/Ada_(langage)|langage ADA]] est utilisé dans le monde du logiciel embarqué, de l'automatisme, du temps réel et dans le logiciel critique en général parce que c'est le seul langage certifié qui garantit son résultat. C'est donc un langage qui fournit des solutions robustes, extrêmement sures. On le trouve donc essentiellement dans l'aéronautique, le militaire, le transport, càd tous les systèmes ou une erreur peut entraîner une catastrophe humaine ou technologique. Il est apprécié pour enseigner l'algorithmique à cause de sa puissance sémantique, on écrit facilement en quelques lignes des choses qui peuvent être extrêmement complexes. Il permet de présenter les concepts fondamentaux de la programmation. Nous allons voir ici comment travailler en ADA sous Ubuntu.
+Le [[https://fr.wikipedia.org/wiki/Ada_(langage)|langage Ada]] est utilisé dans le monde du logiciel embarqué, de l'automatisme, du temps réel et dans le logiciel critique en général parce que c'est le seul langage certifié qui garantit son résultat. C'est donc un langage qui fournit des solutions robustes, extrêmement sures. On le trouve donc essentiellement dans l'aéronautique, le militaire, le transport, càd tous les systèmes ou une erreur peut entraîner une catastrophe humaine ou technologique. Il est apprécié pour enseigner l'algorithmique à cause de sa puissance sémantique, on écrit facilement en quelques lignes des choses qui peuvent être extrêmement complexes. Il permet de présenter les concepts fondamentaux de la programmation. Nous allons voir ici comment travailler en Ada sous Ubuntu.
@@ Ligne 9: / Ligne 9: @@
 La première chose à faire est d'[[:tutoriel:comment_installer_un_paquet#paquet_present_dans_les_depots|installer les paquets]] **[[apt>gnat|gnat]]**.
-Une fois ceci terminé, vous pouvez d'ores et déjà commencer à compiler vos programmes ADA de la façon suivante :
+Une fois ceci terminé, vous pouvez d'ores et déjà commencer à compiler vos programmes Ada de la façon suivante :
 Dans votre terminal :
@@ Ligne 16: / Ligne 16: @@
 ./votre_programme</code>
-La première ligne, avec la commande [[:tutoriel/console_commandes_de_base#cd]], vous permet de vous placer dans le répertoire où vous avez enregistré votre programme ADA.
+La première ligne, avec la commande [[:tutoriel/console_commandes_de_base#cd]], vous permet de vous placer dans le répertoire où vous avez enregistré votre programme Ada.
-Exemple : j'ai mis mon programme ADA dans //Documents/IUT/ada//, donc je vais taper //cd Documents/IUT/ada//.
+Exemple : j'ai mis mon programme Ada dans //Documents/IUT/ada//, donc je vais taper //cd Documents/IUT/ada//.
 La deuxième ligne compile votre programme ADA.
@@ Ligne 88: / Ligne 88: @@
 ===== Installer des bibliothèques =====
--Bien que les modes d'installation classiques via GitHub et autres restent bien sur disponibles, AdaCore fournit maintenant l'outil Alire [[https://alire.ada.dev/docs/#first-steps]] qui est un espèce de Snap, au sens Ubuntu, qui garantit l'utilisation des bonnes bibliothèques dans les bonnes version, via une logique de graphe de dépendances des composants, entièrement gérée par Alire et complètement transparente pour l'utilisateur.
+-Bien que les modes d'installation classiques via GitHub et autres restent bien sur disponibles, AdaCore fournit maintenant l'outil Alire [[https://alire.ada.dev/docs/#first-steps]] qui est une espèce de Snap, au sens Ubuntu, qui garantit l'utilisation des bonnes bibliothèques dans les bonnes version, via une logique de graphe de dépendances des composants, entièrement gérée par Alire et complètement transparente pour l'utilisateur.
 -Alire comprend de nombreux exemples.
 Il y a 2 cas;