Le support Ada a été supprimé des ports FreeBSD 13.1 car il était obsolète. En effet, le port gcc6-aux a été déclaré obsolète et a expiré le 28 Février 2022. Il n'y a aucune indication sur une solution de remplacement et l'utilisation d'Ada pour FreeBSD est cela reste un défi mais ce n'est pas impossible. Cet article propose un certain nombre d'étapes et de commandes qui m'ont aidé à configurer un nouveau compilateur Ada basé sur GCC 12 sur une nouvelle installation de FreeBSD 13.1.

Cette année pas de publication par AdaCore de l'environnement de développement pour Ada : GNAT Community Edition. Cela concerne l'ensemble des plateformes et non plus seulement macOS comme l'année dernière. Cependant ces publications ont été reprises sur Alire à partir des sources FSF pour le compilateur GNAT.

Le détail des opérations d'installation -> voir plus.

Mise à disposition du compilateur GNAT CE 2021 pour macOS.

Mise à disposition de la bibliothèque graphique GTKAda CE 2021 pour macOS.

La société AdaCore vient d'annoncer la disponibilité du compilateur GNAT Community 2021.

Vous pouvez le télécharger sur leur site: https://www.adacore.com/download

La version 2019 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

• Comme pour la version 2018, le compilateur SPARK est inclu et cette version supporte les pointeurs (si vous ne connaissez pas, jetez un oeil sur l'article de Claire Dross Using Pointers in SPARK),
• Le compilateur Ada est maintenant basé sur gcc 8.3.1 et gdb 8.3,
• La librairie libadalang est disponible. Cette librairie permet d'analyser des programmes Ada, n'étant pas évidente à construire, son intégration dans GNAT 2019 va faciliter énormément son utilisation.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V. Ce compilateur comporte de plus en plus d'outils, prévoyez 2.7 Go pour l'installation.

L'annonce officielle: GNAT Community 2019

Le jeudi 4 Octobre 2018, AdaCore présente les évolutions à venir sur ses différents produits: GNAT Pro, CodePeer, SPARK Pro, et QGen.

Sur l'agenda d'une journée bien remplie, on notera que l'on obtiendra des informations sur:

• L'avancée dans l'utilisation des GPUs pour les programmes classiques,
• Une découverte de l'offre C/C++ d'AdaCore,
• Les évolutions de libadalang dans l'analyse sémantique des programmes Ada,
• Des informations sur l'intégration de Python dans GPS,
• Des présentations de clients.

Cet événnement est libre, plus d'informations sur: https://www.adacore.com/tech-days-eu

Voila, le cru 2018 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

• Le support des cartes BBC micro:bit (ARM Cortex-M0),
• Le support du RISC-V,
• Le compilateur SPARK est désormais inclu pas défaut,
• Le compilateur Ada est maintenant basé sur gcc 7.3.1,
• Longtemps attendue, une version Windows 64 bits est disponible,
• Les utilisateurs de MacOS pourront aussi profiter du compilateur croisé Ada pour ARM.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V.

Il ne vous reste plus qu'à télécharger cette nouvelle version, et ensuite de vous excercer avant de vous inscrire à la prochaine compétition de développement Ada sur makewithada.org

L'annonce officielle: GNAT Community 2018