Здесь может пригодиться немного фона. Несмотря на то, что проверки стиля дают многообещающие требования по соблюдению правил пользовательского стиля, это не совсем то, для чего они нужны.
Основная цель этих проверок состоит в том, чтобы применить стиль Ada Core (люди, которые поддерживают компилятор) к источникам самого компилятора Ada. Вы можете заметить, что проверки включаются автоматически, если вы попытаетесь скомпилировать один из собственных исходных файлов компилятора.
Это на самом деле не отвечает целям AdaCore, если стили, поддерживаемые самими проверками, настраиваются пользователем, поэтому они не добавили такую функцию.
Ваш первый вариант, если вы хотите использовать его самостоятельно, - это просто придерживаться стиля кодирования AdaCore. Я не нашел это ужасным в прошлом, так что вы можете просто посмотреть на это.
Тем не менее, создание какой-либо конфигурации было бы действительно крутой возможностью для кого-то, чтобы добавить. Если вы пойдете по этому пути, вам, вероятно, придется сделать его настраиваемым (с текущим поведением по умолчанию), а не просто менять проверки. Причина в том, что для этого вам нужно изменить исходные коды компилятора, и, как я упоминал выше, компилятор включает проверки при компиляции. Вы действительно не хотите переформатировать кучу исходных файлов компилятора Gnat.
Мне бы очень хотелось, чтобы кто-то сделал это в какой-то момент, поскольку это сделало бы проверки гораздо более полезными для тех из нас, кто работает на кого-то, кроме AdaCore.