Я вижу, что мне нужно предоставить что-то в моем репозитории ASIS , чтобы сделать это более понятным.
Цель этого репо - обнародовать изменения, необходимые для выпусков ASIS под GPL (теперь CE), чтобы работать с FSF GCC.
Если вы можете переключить компиляторы на GNAT GPL 2017, вы можете загрузить соответствующий источник ASIS из AdaCore (ищите «Источники»). Лучше, если вы сможете перейти на GNAT CE 2018, вы обнаружите, что он уже поставляется с ASIS.
Если вы исправлены на компиляторе GNAT Pro, который, похоже, используете, вы можете попробовать загрузить исходные коды ASIS сообщества (GPL) как можно ближе к дате (2016?).