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,b2b519fb2d20e8d1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.27.230 with SMTP id w6mr28571593pbg.3.1317580121905; Sun, 02 Oct 2011 11:28:41 -0700 (PDT) Path: lh7ni9977pbb.0!nntp.google.com!news1.google.com!goblin2!goblin.stu.neva.ru!newsfeed1.swip.net!85.214.198.2.MISMATCH!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: Current statu of ASIS for GNAT 2012, please ? Date: Sun, 02 Oct 2011 20:28:40 +0200 Organization: A noiseless patient Spider Message-ID: <87botztfhj.fsf@ludovic-brenta.org> References: <87sjngwoo6.fsf@ludovic-brenta.org> <87lit7x2xu.fsf@ludovic-brenta.org> <4fade922-81df-4480-83b1-d8025075306b@dm9g2000vbb.googlegroups.com> <877h4puldk.fsf@ludovic-brenta.org> <4e883d20$0$7615$9b4e6d93@newsspool1.arcor-online.net> <87fwjbtkkk.fsf@ludovic-brenta.org> <4e88a2f9$0$6627$9b4e6d93@newsspool2.arcor-online.net> Mime-Version: 1.0 Injection-Info: mx04.eternal-september.org; posting-host="NHrfHKVZZft+a0qVdWr5ag"; logging-data="7610"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18YOd+OJc7xTB94Yjn36pDa" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) Cancel-Lock: sha1:AGYJhU0eopcEA56G0VDot43y22Q= sha1:EP6tKH+x6VRyxnRC9aTk6TYDudU= Xref: news1.google.com comp.lang.ada:18271 Content-Type: text/plain; charset=us-ascii Date: 2011-10-02T20:28:40+02:00 List-Id: Georg Bauhaus writes: > On 02.10.11 18:38, Ludovic Brenta wrote: > >>> Somewhere on this long line you mentioned libaunit1-dev depending on >>> GNAT 4.4; the package says it depends on ada-compiler. Actually, >>> AUnit v.1 indeed only needs an Ada compiler, no fancy configuration, >>> Ada 95 should do. >> >> No. Debian is a binary distribution and respects the Ada Reference >> Manual regarding consistency of binary executables, in particular clause >> 10.1.4(5). > > The consistency is cool as ever, but I don't think LRM 10.1.4(5) > justifies anything ;-) After all, if we put GCC x.y.z in /where/ever, > there is no problem regarding the LRM. I will assume that it means > much more work to have a switch for system compilers, and there might > be little incentive to have two versions. LRM 10.1.4(5) does not affect the sources, it affects the binaries produced from (different versions of) the sources. Debian is a binary distribution, therefore it must obey 10.1.4(5) and this justifies the Debian Policy for Ada regarding dependencies between binary packages. Note that the .ali files in -dev packages are considered "binary" for the purposes of this discussion, because they are the way GNAT uses to obey LRM 10.1.4(5). >> Debian does this by stating and enforcing dependencies between >> binary packages. > >> - gnat-4.4 and gnat-4.6 conflict with each other because they both >> provide /usr/bin/gnatmake et al. > > Ah, well, I have become used to switching between different versions > of compilers and interpreters. Yes. It should be possible for Debian to provide several versions of GNAT in parallel but I decided, long ago, that this would go against one of my design goals, which is to make it possible to compile an Ada program against all of the installed Ada libraries. The consistency rule implies that a program cannot be linked, directly or indirectly, against two different versions of the GNAT run-time library. You are entirely correct in the context of a source distribution such as Gentoo or GNAT GPL Edition, however. In a source distribution, you can have as many compilers as you want; the price to pay for this is that you must recompile everything each time you switch compilers, taking into account that some versions of some libraries might be incompatible with some versions of the compiler (see ASIS for one example). -- Ludovic Brenta.