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.6 required=5.0 tests=BAYES_00,DATE_IN_PAST_24_48 autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,4201333ce83cfb73 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.180.107.167 with SMTP id hd7mr71683wib.0.1348190114097; Thu, 20 Sep 2012 18:15:14 -0700 (PDT) Path: q11ni3505001wiw.1!nntp.google.com!feeder1.cambriumusenet.nl!209.197.12.246.MISMATCH!nx02.iad01.newshosting.com!216.196.98.146.MISMATCH!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!xlned.com!feeder3.xlned.com!feeder1.cambriumusenet.nl!feeder3.cambriumusenet.nl!feed.tweaknews.nl!209.197.12.246.MISMATCH!nx02.iad01.newshosting.com!newshosting.com!69.16.185.21.MISMATCH!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: GPS doesn't work in GNAT GPL References: <3123d892-e560-415e-8b04-73ab62decb88@googlegroups.com> <84e37fe9-2b84-408d-bbb6-882879a02126@googlegroups.com> <14f1uqjns4120.1w2yiqcl0oobh.dlg@40tude.net> <901ee653-b36f-4641-a935-297c4091820b@googlegroups.com> <8991ed04-4f4e-42ca-aa54-360efc1d417d@googlegroups.com> Date: Tue, 18 Sep 2012 21:39:47 -0400 Message-ID: <85vcfahjto.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (windows-nt) Cancel-Lock: sha1:wSG6qTWACF7yx6ntCLktXpQF/nQ= MIME-Version: 1.0 X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: 50ceb50592264e029e66109672 X-Received-Bytes: 1942 Content-Type: text/plain Date: 2012-09-18T21:39:47-04:00 List-Id: Ludovic Brenta writes: > * A third-party library may build with GNAT GPL but not with GCC or vice > versa. This is confusing. GNAT GPL provides gcc, with Ada and C, among other languages. So does Debian; they are different versions of similar toolkits. So I think you meant to say "may build with GNAT, but not with Debian". And vice versa, of course. > * Once you've compiled a library with GNAT GPL you must use GNAT GPL > for everything that depends on this library. Same statement is true of Debian Ada. > * You must therefore keep track of which compiler built what library > and what object file. Manually. The point is that you cannot _mix_ libraries built with Debian and GNAT in one executable. It might work, but you certainly not count on it. Mixed Ada libraries will be rejected by the Ada compiler (they are more strictly checked than C libraries). -- -- Stephe