with "gnatcoll_projects";
with "gpr2";
