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: a07f3367d7,e5006bbc2c63c1db
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!5g2000yqj.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: GPS Compiler options
Date: Fri, 9 Apr 2010 10:46:11 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <3e94cade-9c85-4b21-94c5-ad0bc0c8d020@5g2000yqj.googlegroups.com>
References: <4bbf2806$0$19565$703f8584@news.kpn.nl>
 <b3cec394-937e-4911-9a67-a8213dfa0b3d@r36g2000yqm.googlegroups.com>
	<13txt3b8b77p5.upyewgdx7mkh.dlg@40tude.net>
 <58f925ee-9d4a-4773-98f9-24fe39a7adc1@r1g2000yqj.googlegroups.com>
	<m2pr28a6fa.fsf@pushface.org>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1270835171 1079 127.0.0.1 (9 Apr 2010 17:46:11
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 9 Apr 2010 17:46:11 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 5g2000yqj.googlegroups.com; posting-host=153.98.68.197;
	posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.8)
	Gecko/20100202 Firefox/3.5.8,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:10922
Date: 2010-04-09T10:46:11-07:00
List-Id: <comp.lang.ada>

Simon Wright wrote on comp.lang.ada:
> Ludovic Brenta <ludo...@ludovic-brenta.org> writes:
> > I think gnatmake -m corrects this problem. With this option, gnatmake
> > no longer relies on the timestamps but only on the CRC32 values in
> > the .ali files.
>
> I believe that it first compares the timestamps: if the same, no change,
> but if different, does the ali check.

Exactly. And gnatmake will then do the right thing (i.e. not
recompile) if the timestamps are different only because the clocks of
various machines are out of sync.

--
Ludovic Brenta.