mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
The driver must remain lightweight, and removing libgpr2 from the loop keep it under 2MB (and more around 1) while with the libgpr2 dep it grows to 20+ MBytes.