Groups | Search | Server Info | Login | Register

Re: How to challenge a GCC patch?

Newsgroups	comp.lang.ada
Date	2021-09-30 01:21 -0700
References	(1 earlier) <sis9jq$esi$1@dont-email.me> <d8844cde-babd-42ad-ba03-d4b30883f66en@googlegroups.com> <sj3jk8$79s$1@dont-email.me> <63ef1b5d-82eb-4446-b793-8465250f06bbn@googlegroups.com> <sj3qc4$fg2$1@dont-email.me>
Message-ID	<2c924fd6-3357-4817-9255-79c36f4096a5n@googlegroups.com> (permalink)
Subject	Re: How to challenge a GCC patch?
From	Arnaud Charlet <charlet@adacore.com>

Show all headers | View raw

> 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. 

We have decided in any case to stop creating and distributing GNAT Community binaries, since this was causing too much confusion and misunderstanding wrt the license, so doing in the end more harm than good to the community, which we care very much about.

So in the future, GNAT will be available directly and only from the FSF versions, and Alire will make that easy.

Alire (https://alire.ada.dev/) already provides GCC 10.3 today, see e.g. "alr toolchain --select"

> (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).

Right, and has never been the case for cross compilers where you already needed a native GNAT to build your ASIS application, and a cross GNAT to generate trees.

Arno

Back to comp.lang.ada | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-27 12:06 +0200
  Re: How to challenge a GCC patch? Stéphane Rivière <stef@genesix.org> - 2021-09-27 13:23 +0200
    Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-27 16:18 +0200
    Re: How to challenge a GCC patch? Arnaud Charlet <charlet@adacore.com> - 2021-09-28 00:38 -0700
      Re: How to challenge a GCC patch? Stéphane Rivière <stef@genesix.org> - 2021-09-29 18:26 +0200
        Re: How to challenge a GCC patch? Emmanuel Briot <briot.emmanuel@gmail.com> - 2021-09-29 12:04 -0700
          Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 00:29 +0100
            Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 08:23 +0200
              Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 08:53 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 10:13 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 09:26 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 12:54 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 13:27 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 17:25 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:37 -0500
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:33 -0500
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:30 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 11:41 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-02 04:14 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-04 14:30 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-13 20:48 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-14 08:09 +0200
              Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 08:53 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 10:16 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 09:28 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 12:56 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 13:27 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 17:28 +0200
          Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 08:19 +0200
            Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:18 -0500
              Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 11:24 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-02 04:34 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-04 14:26 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-13 20:40 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-14 08:04 +0200
      Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 07:57 +0200
        Re: How to challenge a GCC patch? Arnaud Charlet <charlet@adacore.com> - 2021-09-30 00:29 -0700
          Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 09:52 +0200
            Re: How to challenge a GCC patch? Arnaud Charlet <charlet@adacore.com> - 2021-09-30 01:21 -0700
              Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 11:56 +0200
              Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 14:29 +0200
            Re: How to challenge a GCC patch? Fabien Chouteau <fabien.chouteau@gmail.com> - 2021-09-30 01:28 -0700
  Re: How to challenge a GCC patch? Simon Wright <simon@pushface.org> - 2021-09-27 13:48 +0100
    Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-27 16:20 +0200
      Re: How to challenge a GCC patch? Emmanuel Briot <briot.emmanuel@gmail.com> - 2021-09-27 23:55 -0700
        Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 08:44 +0200
      Re: How to challenge a GCC patch? nobody in particular <nobody@devnull.org> - 2021-09-29 08:58 +0000
        Re: How to challenge a GCC patch? Emmanuel Briot <briot.emmanuel@gmail.com> - 2021-09-29 02:34 -0700
        Re: How to challenge a GCC patch? Simon Wright <simon@pushface.org> - 2021-09-29 11:03 +0100
          Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-29 12:03 +0100
            Re: How to challenge a GCC patch? Simon Wright <simon@pushface.org> - 2021-09-29 12:07 +0100
      Re: How to challenge a GCC patch? Andreas ZEURCHER <ZUERCHER_Andreas@outlook.com> - 2021-09-29 11:58 -0700

csiph-web