Path: ...!weretis.net!feeder6.news.weretis.net!4.us.feeder.erje.net!2.eu.feeder.erje.net!feeder.erje.net!news.uzoreto.com!aioe.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!agneau.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-a.proxad.net!nnrp1-1.free.fr!not-for-mail Newsgroups: fr.comp.lang.ada References: <614cb469$0$20279$426a74cc@news.free.fr> <614d7d2f$0$5989$426a74cc@news.free.fr> From: DrPi <314@drpi.fr> Subject: Re: [Ann] Nouvelle version d'AdaControl Date: Fri, 24 Sep 2021 15:56:55 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit Lines: 32 Message-ID: <614dd929$0$20283$426a34cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 24 Sep 2021 15:56:57 CEST NNTP-Posting-Host: 82.65.30.55 X-Trace: 1632491817 news-4.free.fr 20283 82.65.30.55:60371 X-Complaints-To: abuse@proxad.net Bytes: 2489 Le 24/09/2021 à 11:48, J-P. Rosen a écrit : > 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. > Ca me parait normal. > 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". > Apparemment, la version CE va disparaitre. Cela éclaircira un peu la situation. > 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... > Très contestable même. > Si quelqu'un sait comment faire, speak up! > Je comprends mieux la situation. Malheureusement, je ne peux pas aider sur ce sujet.