gcc 3.4 - gnatmake has wrong gcc name

[Paul Koning]

>>>>> "Arnaud" == Arnaud Charlet <charlet@ACT-Europe.FR> writes:

 >> So if I modified the code to do something like this, would it be
 >> OK algorithmically?
 >> 
 >> - strip off directory portion ("basename") - do equivalent of "sed
 >> -e 's/;[0-9]$/''

 Arnaud> version number can go above 9 I believe.

Correct -- version numbers are decimal numbers (up to 32767 I think,
but easiest is just to assume a sequence of digits).

    paul