Tag - GNAT

Développement Ada sous FreeBSD 13.1

Par Stephane Carrez

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.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Le compilateur GNAT est maintenant sur Alire

Par Pascal Pignard

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.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

GNAT et GTKAda CE 2021 pour macOS

Par Pascal Pignard

Mise à disposition du compilateur GNAT CE 2021 pour macOS.

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

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

GNAT Community 2021

Par Stephane Carrez

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

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

GNAT Community 2019

Par Stephane Carrez

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

AdaCore organise les Tech Days à Paris le 4 Octobre 2018

Par Stephane Carrez

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

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

GNAT Community 2018

Par Stephane Carrez

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

Associations

Abonnez-vous

Tags