gprbuild and gnatcov 23.0#42

Open

Fabien-Chouteau wants to merge 3 commits intomainfrom

gprbuild_gnatcov_23_0

Commits on Nov 3, 2022

gprbuild and gnatcov 23.0
Fabien-Chouteau
committed

Commits on Nov 7, 2022

Fix gnatcov 23 for Windows and macOS
Fabien-Chouteau
committed

Commits on Nov 8, 2022

Change dependencies to build gprbuild, gnatcoll and Ada libraries using the base compiler
Fabien-Chouteau
committed