https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85007
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > I intend to use the 7.3 tree of "gcc-7.3" to do my compilation rather than > the system-search-provided "gcc". gnatmake-7.3 doesn't seem to want to use > the "gcc-7.3" provided in the same folder as it, so I had to manually > provide "--GCC=" on the gnatmake command line. That's the misconfiguration. Where does this -7.3 come from? It's possible to use this setup since Linux distributions do it but this must be done properly.
