From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8332ddd3efd0a65
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Date: Tue, 29 Aug 2006 03:17:17 +0200
From: Gautier <gautier@fakeaddress.nil>
User-Agent: Thunderbird 1.5.0.5 (Windows/20060719)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Enumeration type - GNAT 3.15p bug?
References: <1155815395.237631.224930@m79g2000cwm.googlegroups.com>
   <44e4b74a$1_6@news.bluewin.ch>
   <1155889518.397485.193340@h48g2000cwc.googlegroups.com>
   <44e67d1a$1_2@news.bluewin.ch>
   <1156020655.440196.80620@i3g2000cwc.googlegroups.com>
   <44e82ae1$1_3@news.bluewin.ch>
 <1156773279.708849.196800@m73g2000cwd.googlegroups.com>
In-Reply-To: <1156773279.708849.196800@m73g2000cwd.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 83.79.157.141
X-Original-NNTP-Posting-Host: 83.79.157.141
Message-ID: <44f39589$1_5@news.bluewin.ch>
X-Trace: news.bluewin.ch 1156814217 83.79.157.141 (29 Aug 2006 03:16:57 +0200)
Organization: Bluewin AG
Complaints-To: abuse@bluewin.ch
X-Original-NNTP-Posting-Host: 127.0.0.1
Path: 
 g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns14feed!worldnet.att.net!164.128.36.58!news.ip-plus.net!newsfeed.ip-plus.net!news.bluewin.ch!not-for-mail
Xref: g2news2.google.com comp.lang.ada:6423
Date: 2006-08-29T03:17:17+02:00
List-Id: <comp.lang.ada>

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!