From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: How to challenge a GCC patch? Date: Thu, 30 Sep 2021 09:52:36 +0200 Organization: Adalog Message-ID: References: <63ef1b5d-82eb-4446-b793-8465250f06bbn@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 30 Sep 2021 07:52:36 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="60a03c73f1a7f39b08d86ee5b7db1c45"; logging-data="15874"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/UMCARCT2IliEfLhoF0WMA" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 Cancel-Lock: sha1:HlakqdsvfZFjJHybJKZkiIhwMZc= In-Reply-To: <63ef1b5d-82eb-4446-b793-8465250f06bbn@googlegroups.com> Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:62880 List-Id: Le 30/09/2021 à 09:29, Arnaud Charlet a écrit : > So to recap: you are asking for a Community version of "asis-gcc > Pro": this version is available, it's GCC 10.x (10.3 being the latest > available to date). And yes, it's a different version to generate > trees than to compile Ada: the same is true for Pro users and they do > not have specific issues with that. > But it's not available from AdaCore's community page. For most users, downloading and building from an FSF site is way too complicated. Call it asis-gcc or not, what is needed is a simple way to install ASIS support. (Making a tree generator separate from the compiler is for me another error, although I can live with it. One of the main benefits of ASIS is that the ASIS program has the same view of the code as the compiler - but that's a separate issue). -- 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