comp.lang.ada
 help / color / mirror / Atom feed
From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: How to challenge a GCC patch?
Date: Thu, 30 Sep 2021 09:26:12 +0100	[thread overview]
Message-ID: <sj3sdh$1fh8$1@gioia.aioe.org> (raw)
In-Reply-To: sj3rk5$na1$1@dont-email.me

On 30/09/2021 09:13, J-P. Rosen wrote:
> Le 30/09/2021 à 09:53, Luke A. Guest a écrit :
>> On 30/09/2021 07:23, J-P. Rosen wrote:
>>> Le 30/09/2021 à 01:29, Luke A. Guest a écrit :
>>>>
>>>> On 29/09/2021 20:04, Emmanuel Briot wrote:
>>>>
>>>>> I suggested in an early message that perhaps the community could 
>>>>> build an ASIS API on top of libadalang, if there is a need for that.
>>>>> I also suggested that libadalang documentation should be improved, 
>>>>> I definitely agree with that one !
>>>>>
>>>>
>>>> Freely available iso asis spec would help here.
>>> Actually, it is. Apart from ISO verbiage, all the interesting parts 
>>> of the ASIS standard is put as comments in the corresponding ASIS 
>>> packages.
>>>
>>> Moreover, AdaCore kept this good habit for all the newly introduced 
>>> features that support up to Ada 2012, which would make retrofitting 
>>> them into an updated ASIS standard quite easy.
>>>
>>
>> Are they gpl'd?
> Yes. Here is a copy of the copyright notice of every ASIS module:

And that's an issue, why not release them PD or BSD? I've seen the asis 
specs before and I'm certain they are not GPL'd, just like the packages 
in the Ada RM.

  reply	other threads:[~2021-09-30  8:26 UTC|newest]

Thread overview: 52+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-09-27 10:06 How to challenge a GCC patch? J-P. Rosen
2021-09-27 11:23 ` Stéphane Rivière
2021-09-27 14:18   ` J-P. Rosen
2021-09-28  7:38   ` Arnaud Charlet
2021-09-29 16:26     ` Stéphane Rivière
2021-09-29 19:04       ` Emmanuel Briot
2021-09-29 23:29         ` Luke A. Guest
2021-09-30  6:23           ` J-P. Rosen
2021-09-30  7:53             ` Luke A. Guest
2021-09-30  8:13               ` J-P. Rosen
2021-09-30  8:26                 ` Luke A. Guest [this message]
2021-09-30 10:54                   ` J-P. Rosen
2021-09-30 12:27                     ` Luke A. Guest
2021-09-30 15:25                       ` J-P. Rosen
2021-10-01  0:37                       ` Randy Brukardt
2021-10-01  0:33                     ` Randy Brukardt
2021-10-01  0:30                 ` Randy Brukardt
2021-10-01  9:41                   ` J-P. Rosen
2021-10-02  9:14                     ` Randy Brukardt
2021-10-04 12:30                       ` J-P. Rosen
2021-10-14  1:48                         ` Randy Brukardt
2021-10-14  6:09                           ` J-P. Rosen
2021-09-30  7:53             ` Luke A. Guest
2021-09-30  8:16               ` J-P. Rosen
2021-09-30  8:28                 ` Luke A. Guest
2021-09-30 10:56                   ` J-P. Rosen
2021-09-30 12:27                     ` Luke A. Guest
2021-09-30 15:28                       ` J-P. Rosen
2021-09-30  6:19         ` J-P. Rosen
2021-10-01  0:18           ` Randy Brukardt
2021-10-01  9:24             ` J-P. Rosen
2021-10-02  9:34               ` Randy Brukardt
2021-10-04 12:26                 ` J-P. Rosen
2021-10-14  1:40                   ` Randy Brukardt
2021-10-14  6:04                     ` J-P. Rosen
2021-09-30  5:57     ` J-P. Rosen
2021-09-30  7:29       ` Arnaud Charlet
2021-09-30  7:52         ` J-P. Rosen
2021-09-30  8:21           ` Arnaud Charlet
2021-10-01  9:56             ` J-P. Rosen
2021-10-01 12:29             ` J-P. Rosen
2021-09-30  8:28           ` Fabien Chouteau
2021-09-27 12:48 ` Simon Wright
2021-09-27 14:20   ` J-P. Rosen
2021-09-28  6:55     ` Emmanuel Briot
2021-09-30  6:44       ` J-P. Rosen
2021-09-29  8:58     ` nobody in particular
2021-09-29  9:34       ` Emmanuel Briot
2021-09-29 10:03       ` Simon Wright
2021-09-29 11:03         ` Luke A. Guest
2021-09-29 11:07           ` Simon Wright
2021-09-29 18:58     ` Andreas ZEURCHER
replies disabled

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