mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
These new environment variables provide greater flexibility to test each tool with the desired version more easily. Moreover, the tools are not specific to builder_and_runner, so they have been moved to a dedicated file, tools.py.