comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: GPS doesn't work in GNAT GPL
Date: Tue, 18 Sep 2012 21:39:47 -0400
Date: 2012-09-18T21:39:47-04:00	[thread overview]
Message-ID: <85vcfahjto.fsf@stephe-leake.org> (raw)
In-Reply-To: 8991ed04-4f4e-42ca-aa54-360efc1d417d@googlegroups.com

Ludovic Brenta <ludovic@ludovic-brenta.org> 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



  reply	other threads:[~2012-09-21  1:15 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-09-15  5:45 GPS doesn't work in GNAT GPL Ada novice
2012-09-15  8:47 ` Brian Drummond
2012-09-15  9:53   ` Ada novice
2012-09-17  5:28     ` Ada novice
2012-09-17  6:10       ` Ludovic Brenta
2012-09-17  7:14       ` Dmitry A. Kazakov
2012-09-18  6:39         ` Ada novice
2012-09-18  7:41           ` Ludovic Brenta
2012-09-19  1:39             ` Stephen Leake [this message]
2012-09-19  7:03             ` Ada novice
2012-09-18  7:46           ` Dmitry A. Kazakov
2012-09-19  7:10             ` Ada novice
2012-09-19  8:21               ` Dmitry A. Kazakov
2012-09-20 21:15           ` björn lundin
2012-09-23 12:58             ` Ada novice
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox