ANN: Full GNAT Ada 2022 toolchain for FreeBSD

Releases
, , ,
1

Hi all !

I’m pleased to announce the availability of the full GNAT Ada 2022 toolchain for FreeBSD.

  1. GNAT latests Ada commits on 2025-07-04, with GCC 13 , 14, 15.1.1 and 16-devel
  2. GPRBUILD, latest commits on 2025-03-12
  3. ALire, 2.1.0 from branch

All the binaries are on AdaForge’s GitLab in their “Package registry”.

  • gnat2022-15.1.1 binaries
    • /usr/local/gnat2022-15.1.1/bin/c++
    • /usr/local/gnat2022-15.1.1/bin/cpp
    • /usr/local/gnat2022-15.1.1/bin/g++
    • /usr/local/gnat2022-15.1.1/bin/gcc
    • /usr/local/gnat2022-15.1.1/bin/gcc-ar
    • /usr/local/gnat2022-15.1.1/bin/gcc-nm
    • /usr/local/gnat2022-15.1.1/bin/gcc-ranlib
    • /usr/local/gnat2022-15.1.1/bin/gcov
    • /usr/local/gnat2022-15.1.1/bin/gcov-dump
    • /usr/local/gnat2022-15.1.1/bin/gcov-tool
    • /usr/local/gnat2022-15.1.1/bin/gnat
    • /usr/local/gnat2022-15.1.1/bin/gnatbind
    • /usr/local/gnat2022-15.1.1/bin/gnatchop
    • /usr/local/gnat2022-15.1.1/bin/gnatclean
    • /usr/local/gnat2022-15.1.1/bin/gnatkr
    • /usr/local/gnat2022-15.1.1/bin/gnatlink
    • /usr/local/gnat2022-15.1.1/bin/gnatls
    • /usr/local/gnat2022-15.1.1/bin/gnatmake
    • /usr/local/gnat2022-15.1.1/bin/gnatname
    • /usr/local/gnat2022-15.1.1/bin/gnatprep
    • /usr/local/gnat2022-15.1.1/bin/lto-dump
    • /usr/local/gnat2022-15.1.1/bin/x86_64-unknown-freebsd14.3-c++
    • /usr/local/gnat2022-15.1.1/bin/x86_64-unknown-freebsd14.3-g++
    • /usr/local/gnat2022-15.1.1/bin/x86_64-unknown-freebsd14.3-gcc
    • /usr/local/gnat2022-15.1.1/bin/x86_64-unknown-freebsd14.3-gcc-15.1.1
    • /usr/local/gnat2022-15.1.1/bin/x86_64-unknown-freebsd14.3-gcc-ar
    • /usr/local/gnat2022-15.1.1/bin/x86_64-unknown-freebsd14.3-gcc-nm
    • /usr/local/gnat2022-15.1.1/bin/x86_64-unknown-freebsd14.3-gcc-ranlib
gcc (built by AdaForge, latest Ada commit on 2025-07-04) 15.1.1 20250706
Copyright (C) 2025 Free Software Foundation, Inc.

GNAT 15.1.1 20250706
Copyright (C) 1996-2025, Free Software Foundation, Inc
  • gprbuild-2025.3.0 binaries
    • /usr/local/bin/gprbuild
    • /usr/local/bin/gprclean
    • /usr/local/bin/gprconfig
    • /usr/local/bin/gprinstall
    • /usr/local/bin/gprls
    • /usr/local/bin/gprname
    • /usr/local/libexec/gprbind
    • /usr/local/libexec/gprlib
      • a lot in /usr/local/share/gpr , /usr/local/share/gpr, /usr/local/lib/*xmlada*
GPRBUILD FSF 2025.3 (built by AdaForge) (x86_64-unknown-freebsd14.3)
Copyright (C) 2004-2025, AdaCore

Side Note:

There is already a first port of gnat13 done by FreeBSD gcc port maintainer Thierry with whom I had a nice chat former friday,
but as I had some issues to build it on my rig, and already had a working gnat12 built mid 2022, I took the challenge to set-up a full CI-CD for our Ada toolchain on our FreeBSD server with build system poudriere.

Next step : PR to FreeBSD maintainer to have it direct in the FreeBSD Port & Pkg eco-system, ready to be downloaded.

William J. F.
AdaForge

12 Likes
2

:fire: :fire: :fire: :fire: :fire: nice! Thank you for your work!

3

Thank you Irvine :slightly_smiling_face:

All through scripts automating the build-packaging-upload. Ready for the next version in a breeze ! :smiling_face_with_sunglasses:

4

I did the same announcement on Reddit r/freebsd

with some Ada proselytism (couldn’t resist :laughing: )

As a FreeBSD enthusiast, convinced by/with the reliability, quality, consistency of FreeBSD … since 2002 , running a couple of servers,

Ada ?

not trying to convince you :wink: , just some inputs

A «still there» programming language … «still alive» since 1983, with addenda 1995, 2005, 2012, 2022

  1. Reliable = ( extremely readable over time, language and compiler backwards compatibility, memory safety, rich run-time checks)
  2. Versatile = (rich semantics - even multi-tasking, designed to address many domains : from legacy business, complex financial fast trading, automotive (NVidia), rail, air, airspace management, space vehicules, Web services coming)
  3. Fast = (compiled, almost as C/C++, still ahead of Rust, Swift)
  4. Eco-Friendly / Human-Friendly = (lower power/CPU consumption than, say Java, Python; SAVE THE PLANET resources) / (Less human power/time : «in strong typing we trust» = far more less stupid bugs !, language structures helps one’s mind to structure design and code)

Some inputs : Wikipedia, Ada-Lang.io, Ada Forge.org , Learn, with AdaCore
with a vibrant community

5 Likes