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