ASIS, coinstall gnat-10 and 11, deprecate gnatgcc

2022-07-11 Thread Nicolas Boulenguez
Hello. Anyone interested in Ada should read Jean-Pierre Rosen’s summary about ASIS in the Download section of https://www.adalog.fr/en/adacontrol.html. A possible workaround is to generate ASIS trees with the last gcc supporting them (10), but compile with the current default gcc (currently 11).

Re: ASIS, coinstall gnat-10 and 11, deprecate gnatgcc

2022-07-11 Thread David SAUVAGE - AdaLabs Ltd
On 2022-07-12 04:57, Ludovic Brenta wrote: I suggest that all people who want ASIS in Debian step up to this challenge. I am in, however, the proper way to get ASIS for Ada is be to make a libadalang implementation of ASIS interfaces, and we would be glad to contribute in this way. An

Re: ASIS, coinstall gnat-10 and 11, deprecate gnatgcc

2022-07-11 Thread Jean-Pierre Rosen
Le 11/07/2022 à 15:12, Nicolas Boulenguez a écrit : Anyone interested in Ada should read Jean-Pierre Rosen’s summary about ASIS in the Download section of https://www.adalog.fr/en/adacontrol.html. A possible workaround is to generate ASIS trees with the last gcc supporting them (10), but

Re: ASIS, coinstall gnat-10 and 11, deprecate gnatgcc

2022-07-11 Thread Ludovic Brenta
Stephane Carrez writes: > Having a gnat-10 and gnat-11 package can bring confusion to users. Most Ada > libraries > will be targeted at gnat-11 and they won't work with gnat-10. Agreed. > Then, what about providing an asis-gcc package that only provides the > gcc+gnat compiler > renamed to

Re: ASIS, coinstall gnat-10 and 11, deprecate gnatgcc

2022-07-11 Thread Stephane Carrez
Hi! On 11/07/2022 15:12, Nicolas Boulenguez wrote: Hello. Anyone interested in Ada should read Jean-Pierre Rosen’s summary about ASIS in the Download section of https://www.adalog.fr/en/adacontrol.html. A possible workaround is to generate ASIS trees with the last gcc supporting them (10),