Binary releases of GNAT tools

Hello all! I’ve published (in the GNAT-FSF-builds repo) a few binary releases of several AdaCore tools: GPRbuild, GNATcoverage, GNATformat, GNATtest and GNATdoc.

These releases will be published in the Alire index with the _bin suffix (except for GPRbuild and GNATcov, which already exist without the suffix in the index).

The goal is to have easy to use tooling for your personal projects, without having to recompile everything from scratch! For instance, in the CI of an Ada project, you could do alr with gnatdoc_bin to generate the documentation of a library; or alr with gnatformat_bin to enforce a formatting style in pull requests.

GNATcoverage hasn’t had a new release in a long time. Further down the line, I want to make it easier to integrate in an Alire project, for instance with a little wrapper tool to automatically generate coverage information of an alr test testsuite. To be continued!

13 Likes

Regarding GNATcov, it might be worth documenting the currently undocumented shtml mode, which is an alias for the old html mode. The new dhtml mode (which is what html points to now) requires GNATquilt, which isn’t public.

Excellent work Cesar! Greatly appreciated ^^

3 Likes