Tag - SPARK

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