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 compile with the current default gcc
(currently 11).
For this to be possible, gnat-10 and gnat-11 need to be coinstallable.
FWIW, AdaControl can use any "tree generator", even if it is not named
"gcc". The default path to the tree generator is defined by a constant,
at implementation_options.adb:102. You can change this to whatever is
convenient for Debian...
HTH.
--
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
