https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978
--- Comment #8 from Arnaud Charlet <charlet at gcc dot gnu.org> --- Note that support for project files (and libraries) in gnatmake is being deprecated in favor of gprbuild, so this patch will soon become OBE. But no problem in applying it now.
