Re: Enumeration type - GNAT 3.15p bug?

[Gautier <gautier@fakeaddress.nil>]

Gerd:

> OK, you're right. Removing the -S did it.
> 
> Nevertheless I would expect that either AdaGIDE or gnatmake (or someone
> else) *stop* after compile instead of running the linker although GNAT
> didn't generate code. Otherwise it's confusing.

That's right, and it should be gnatmake's job: since it figures out what 
source must be recompiled according to time-stamps, it should verify that an 
up-to-date object has effectively been produced or at least not try to go 
further when "-S" has been passed.
But maybe there is some reason behind current behaviour; there is the 
following gnatmake option (in 3.15p too):
   -s       Recompile if compiler switches have changed
Of course it wouldn't solve the problem if there is a "-S" around!
Maybe it is solved in more recent GNATs. If not, it could be useful to write 
to report@gnat.com about it. An option in gcc for creating .o but leaving the 
.s file (which is created anyway as temp file) would be optimal.

Not waiting that gnat or gcc solves it, it could be also added to AdaGIDE 
(I'll take a look :-) ).
______________________________________________________________
Gautier         -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!