>> This will allow us to remove the import of flag_compare_debug in
>> lib-writ.adb in a second stage.
>
> And here's the second stage. Tested on x86_64-linux-gnu. Ok to install?
This is OK, thanks.
> [Ada] use -gnatd_A to disable .ali on -fcompare-debug recompile
>
> From: Alexandre Oliva
On Sep 26, 2018, Pierre-Marie de Rodat wrote:
> This will allow us to remove the import of flag_compare_debug in
> lib-writ.adb in a second stage.
And here's the second stage. Tested on x86_64-linux-gnu. Ok to install?
[Ada] use -gnatd_A to disable .ali on -fcompare-debug recompile
From: Al
