"Joel" == Joel Sherrill <joel@OARcorp.com> writes:
Joel> OK.. I think I have done it. I have filed PR14665 with a patch
Joel> which (I hope) handles the variety of cases presented.
Joel> By renaming gnatmake, I checked that gnatmake would look for
Joel> the correctly named gcc with various versioned and
Joel> non-versioned target names over the gnatmake names of:
Joel> name ${target}-gnatmake name ${target}-gnatmake3 name
Joel> ${target}-gnatmake.378 name ${target}-gnatmake.exe name
Joel> ${target}-gnatmake.exe.3 name ${target}-gnatmake.exe.678 name
Joel> ${target}-gnatmake.EXE.789 name ${target}-gnatmake.EXE;789
Joel> It seems to work ok now.
Joel> Comments appreciated. Thanks to everyone who explained the
Joel> various filename formats.
Looks good. With the versions number delimited by . rather than ;
you're all set for TOPS-20 too. :-)