AdaCore / AdaCore/gnatcoverage
Update dependency on gnat_util
Nobody has claimed this yet.
- Dominant language
- Ada
- Stars
- 47
- Forks
- 12
- PR merge metrics
- No merged PRs in 30d
Description
To build gnatcov from source, we require gnat_util: https://github.com/AdaCore/gnatcoverage/blob/29f30050f6b019479c8eefefa1a67f690ea99c47/tools/gnatcov/README.md?plain=1#L85.
However, this (as far as I know) is not distributed with the FSF version of gnat and AdaCore has stopped releasing the community edition. There is a patch for an older version of gnat_util on the alire project in github, but that seems like an unsustainable workaround. Is there a way to build gnatcov without depending on gnat_util? Thanks!
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with tools/gnatcov/README.md, especially the documented gnat_util requirement, and compare it with the older gnat_util patch mentioned for Alire. Trace how the dependency is used in the source build and determine whether gnatcov can build with FSF GNAT without it. Done means a documented, maintainable build path that no longer depends on the unavailable community edition.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system, tooling
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100