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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?B?QmrDtnJuIEx1bmRpbg==?= <b.f.lundin@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL is not shareware
Date: Wed, 07 Jan 2015 18:39:26 +0100
Organization: A noiseless patient Spider
Message-ID: <m8jr01$i4b$1@dont-email.me>
References: <87bnmetex4.fsf@ludovic-brenta.org>
 <4ae7f0d5-d681-4be9-95bc-b5e789b3ad40@googlegroups.com>
 <87tx06rve6.fsf@ludovic-brenta.org>
 <d865c2cd-dd78-4dd9-8ca5-7526bc781faf@googlegroups.com>
 <87lhlirpk0.fsf@ludovic-brenta.org>
 <bb6afd60-da67-4b0a-93ca-2921b985cc3e@googlegroups.com>
 <m8ds96$po2$1@news.albasani.net>
 <79f3eff7-2b45-40ae-af94-fa9a17426d82@googlegroups.com>
 <87bnmd8mg2.fsf@ixod.org>
 <19cf9bc2-f8b9-4735-b427-7b070dda59da@googlegroups.com>
 <qfbmaal82onf3ho5otthp0m6vbraaavoq5@4ax.com>
 <ohGqw.195991$rq4.58661@fx27.iad>
 <fa17b731-a99f-4d51-b7e9-806bb2de00c6@googlegroups.com>
 <s7Jqw.1026393$Lj7.973937@fx22.iad>
 <alpine.DEB.2.11.1501061414310.19142@debian> <m8gtr1$rg1$1@dont-email.me>
 <m8h6gn$202$1@dont-email.me> <iWXqw.180018$Sn4.103298@fx10.iad>
 <m8hj8p$qn2$1@dont-email.me> <FIYqw.1051175$FX2.802392@fx18.iad>
 <m8j3k5$gr9$1@dont-email.me> <qcdrw.1246475$Y4.224981@fx24.iad>
 <m8jqk6$fv9$2@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 7 Jan 2015 17:39:13 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="edcd57aa7b7d0a640de5f364a7af93e6";
	logging-data="18571"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19wJIKLbNZVKV37Hy+TEWMN"
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Icedove/31.2.0
In-Reply-To: <m8jqk6$fv9$2@dont-email.me>
Cancel-Lock: sha1:r6xOeoq/w7fjHnYFbGz2JaWqeGI=
Xref: news.eternal-september.org comp.lang.ada:24454
Date: 2015-01-07T18:39:26+01:00
List-Id: <comp.lang.ada>

On 2015-01-07 18:33, Björn Lundin wrote:
> On 2015-01-07 17:32, Shark8 wrote:
>>>
>>> and exactly _how_ is this more preventable with a db solution?
>>
>> Because with a DB-system you can guarantee that the "system" is not
>> inconsistent or out-of date; and you can associate generated objects
>> with exactly the state that generates them.
>>
> 
> see also gnatbind
> <http://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn_5.html#SEC63>
> 
> 
> "
>  The gnatbind program performs four separate functions:
> 
>     Checks that a program is consistent, in accordance with the rules in
> Chapter 10 of the Ada Reference Manual. In particular, error messages
> are generated if a program uses inconsistent versions of a given unit.
> 
> "

reading further, we get to the section 4.1
<http://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn_5.html#SEC64>

that states

<quote>
The effect of this consistency checking, which includes source files, is
that the binder ensures that the program is consistent with the latest
version of the source files that can be located at bind time. Editing a
source file without compiling files that depend on the source file cause
error messages to be generated by the binder.

For example, suppose you have a main program `hello.adb' and a package
P, from file `p.ads' and you perform the following steps:

    Enter gcc -c hello.adb to compile the main program.

    Enter gcc -c p.ads to compile package P.

    Edit file `p.ads'.

    Enter gnatbind hello.

At this point, the file `p.ali' contains an out-of-date time stamp
because the file `p.ads' has been edited. The attempt at binding fails,
and the binder generates the following error messages:

 	

error: "hello.adb" must be recompiled ("p.ads" has been modified)
error: "p.ads" has been modified and must be recompiled

Now both files must be recompiled as indicated, and then the bind can
succeed, generating a main program.
</quote>


As I said, never heard of linking the wrong object file with gnat

--
Björn