Le 12/07/2022 à 02:57, Ludovic Brenta a écrit :
ISTR that AdaControl does not require the tree files of
units that are not the ones being analyzed.
More precisely, the tree file of a unit contains the trees of the
specifications of all the "withed" units, i.e. it stands by itself.
That's
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
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
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),
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
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).