Path: ...!news.misty.com!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: fr.comp.lang.ada
Subject: Re: [Ann] Nouvelle version d'AdaControl
Date: Fri, 24 Sep 2021 11:48:02 +0200
Organization: Adalog
Lines: 26
Message-ID: <sik6sj$rd7$1@dont-email.me>
References: <sig51o$rgv$1@dont-email.me>
 <614cb469$0$20279$426a74cc@news.free.fr> <sijtd7$49t$1@dont-email.me>
 <614d7d2f$0$5989$426a74cc@news.free.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 24 Sep 2021 09:48:03 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="84d9e8076f42304adf34dc8a463e6a6c";
	logging-data="28071"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+kFX6xufWu1p7h2LETCAOL"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.14.0
Cancel-Lock: sha1:ZJiRhz60mzOC5iK+r6HRcHuiGqs=
In-Reply-To: <614d7d2f$0$5989$426a74cc@news.free.fr>
Content-Language: fr
Bytes: 2223

Le 24/09/2021 à 09:24, DrPi a écrit :
> Ok.
> Mais, les sources ne sont pas publiques ?
Je n'ai pas fait de comparaisons, mais selon toute logique les sources 
"Pro" correspondent à la version "Pro", et les sources "CE" à la version 
"CE", et ce ne sont pas les mêmes.

En plus de cela, il y a gcc "FSF", où AdaCore pousse ce qu'ils veulent, 
quand ils le veulent, et personne ne sait où se trouve la version "FSF" 
par rapport aux versions "Pro" et "CE".

J'ai vu qu'AdaCore avait poussé les patches pour supprimer ASIS de la 
version "FSF". Je cherche ce que l'on peut faire pour contester un patch 
dans GCC; AdaCore est libre de faire ce qu'ils veulent sur leur propre 
version, mais pousser un patch dont le seul but est de supprimer une 
fonction utile pour favoriser leur propre solution "maison" me parait 
contestable...

Si quelqu'un sait comment faire, speak up!

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr