GPRbuild: специфичные для файла ключи компилятора - PullRequest
Новая
       9

GPRbuild: специфичные для файла ключи компилятора

1 голос
/ 02 апреля 2019

Поддерживает ли GPRbuild параметр конфигурации или любой другой способ применения специальных параметров компилятора только к специальным файлам?

Это может быть полезно, если для большинства файлов в большинстве файлов используются переключатели -gnatyXYZ для строгой проверки синтаксиса.проект, но некоторые внешние / не относящиеся к проекту файлы Ada не соответствуют принудительным проверкам синтаксиса.

1 Ответ

2 голосов
/ 03 апреля 2019

Вы можете указать оба параметра по умолчанию для всех файлов Ada и специальные параметры для отдельных файлов: 

package Compiler is
   for Default_Switches ("Ada")
      use ("-O2");
   for Switches ("proc.adb")
      use ("-O0");
end Compiler;

Документация GNAT дает дополнительную информацию.

...