"Адское" программирование Ada-95 -Компилятор GNAT

         

Указание путей поиска файлов для gnatmake



. Указание путей поиска файлов для gnatmake

Кроме показанных ранее опций, утилита gnatmake поддерживает опции указания путей поиска для файлов с исходными текстами и библиотечных файлов:

-aIdir  -  При поиске файлов с исходными текстами, поиск файлов должен также осуществляться в каталоге dir.
-aLdir  -  Предположим, что в каталоге dir расположена дополнительная



внешняя Ада-библиотека.Эта опция указывает утилите gnatmake на то, что нет нужды выполнять перекомпиляцию модулей чьи .ali файлы расположены в каталоге dir.Это позволяет не иметь тела (реализацию) для модулей в каталоге dir. Однако, при этом остается необходимость в указании места расположения файлов со спецификациями этих модулей с помощью опций -aIdir или -Idir.

Примечание: эта опция предусмотрена для совместимости с предыдущими версиями утилиты gnatmake.Наиболее простым способом, который приводит к исключению анализа стандартной библиотеки, является блокировка ALI-файлов этой библиотеки (запрещение записи в ALI-файлы).

-aOdir  -  При поиске библиотечных и объектных файлов, поиск должен также осуществляться в каталоге dir.
-Adir  -  Эквивалентно -aLdir -aIdir.
-Idir  -  Эквивалентно -aOdir -aIdir.
-I-  -  Не выполнять поиск файлов с исходными текстами в каталогах с исходными текстами, которые указаны в командной строке.

Не выполнять поиск объектных и ALI-файлов в каталоге из которого утилита gnatmake была запущена.

-Ldir  -  Добавить каталог dir к списку каталогов в которых компоновщик будет осуществлять поиск библиотечных файлов.

Это эквивалентно использованию -largs -Ldir.

-nostdinc  -  Не осуществлять поиск файлов с исходными текстами в системном каталоге по умолчанию.
-nostdlib  -  Не осуществлять поиск библиотечных файлов в системном каталоге по умолчанию.



Содержание раздела








Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий