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:33:07 +0100
Organization: A noiseless patient Spider
Message-ID: <m8jqk6$fv9$2@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>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 7 Jan 2015 17:32:54 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="edcd57aa7b7d0a640de5f364a7af93e6";
	logging-data="16361"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+gI9uLR6QsUZlFbgOI93Ro"
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Icedove/31.2.0
In-Reply-To: <qcdrw.1246475$Y4.224981@fx24.iad>
Cancel-Lock: sha1:H+MzH3PWja/M8JOc3FXvvkXiJtk=
Xref: news.eternal-september.org comp.lang.ada:24453
Date: 2015-01-07T18:33:07+01:00
List-Id: <comp.lang.ada>

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.

"

--
Björn