префикс gprinstall в файле проекта

Программная часть gprinstall набора инструментов GNAT, по-видимому, игнорирует атрибут префикса в файле проекта. Он использует --prefix, когда указано в командной строке. Есть ли способ заставить его использовать префикс в файле проекта?


ada gnat gprinstall
person Wayne B.    schedule 18.02.2017    source источник
comment
Для вопроса, связанного с инструментами, лучше указать ОС, в которой вы работаете, и выпуск набора инструментов (например, вывод gnatls -v). По любому вопросу полезно, если вы можете сказать, что именно вы пробовали (в этом случае помог бы собственно георадар, а также где именно установлено программное обеспечение). Вы можете использовать переключатель --dry-run на gprinstall, чтобы посмотреть, что произойдет, не разрушив вашу файловую систему.   -  person Simon Wright    schedule 18.02.2017

Ответы (1)


arrow_upward
1
arrow_downward

В файле вашего проекта вы просто добавляете пакет Install, где вы объявляете, какой префикс вы хотите использовать:

   package Install is
      for Prefix use "/tmp/installed";
   end Install;

Если вы объявите относительный путь, он будет иметь префикс либо с префиксом по умолчанию, либо с префиксом, переданным в командной строке.

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

person Jacob Sparre Andersen    schedule 18.02.2017