GnatCOV in Alire (22.01) and in GitHub (24.0)

Hello,
I would be interesting in getting hold of GNATCoverage 24.0 to make use of its latest functionality to target coverage reports only for specific subprograms.

However, I have tried to look at the build instructions and they do not work as they look deprecated e.g., setup command is no longer available in the Makefile and I am having issues with alire build environment for Linux.

In summary, would it be possible to update the alire crate for gnatcov?

Alire - Gnatcov

By doing so we can have the latest version by using the convenient alire tool and would save us the issues with github installations.

Thanks a lot.
Sam.

1 Like