Как получить путь поиска gcc для спецификации Ada

Question

Основной вопрос :

Как я могу получить gcc, чтобы сказать мне, где он ищет Ada включает?

Конкретная проблема :

Я только что закончил преобразование заголовочных файлов библиотеки C в спецификации Ada, чтобы я мог взаимодействовать с библиотекой, используя Ada. Теперь я хочу установить спецификации в моей системе. Я также хочу сделать установку переносимой до некоторой степени, чтобы я мог make install на любой машине (и, таким образом, размещать спецификации и Makefile на Github или аналогичную). Я просто не уверен, куда именно устанавливать спецификации.

Answer 1

gnat ls -v даст вам пути поиска по умолчанию.

Если вы хотите установить собственную библиотеку Ada, вы должны поместить файл проекта (.gpr) в «Путь поиска проекта», который сообщит gnat, где найти файлы ada и ali и библиотеку.

Обычно вы помещаете файлы ada в /usr/[local/]include/myadalib, а файлы ali - в /usr/[local/]lib/myadalib и, возможно, связываете файл .so с /usr/[local/]lib, но вы можете поместить их в любое место. Важно поместить файл проекта (myadalib.gpr) в путь поиска проекта.

Вы даже можете настроить путь поиска проекта, установив переменную среды ADA_PROJECT_PATH.