Для работы с метрикой GNAT (для Windows, GPL 2017 или CE 2018) я также хотел бы включить источники RTL. Есть переключатель "-a", но он кажется неэффективным. Когда я заставляю видимость источников RTL, обрабатываются только ada.ads и system.ads. Предполагаю, что это проблема "сжатого имени" (имена файлов RTL вынуждены использовать 8 имен символов). Я попробовал другие приемы без успеха.
Мой вопрос: есть ли способ получить исходные метрики RTL (фактически использованных исходных файлов) с помощью метрики GNAT?
Я использую команду
gnatmetric -a -xs -nt -j0 -Pmyproj.gpr -U somemain.adb
1011 * ТИА *