Глава 16 Генератор зависимостей (ocamldep)

• 16.1 Параметры
• 16.2 Типовой Makefile

Команда ocamldep сканирует набор файлов исходного кода OCaml (.ml и .mli) в поисках ссылок на внешние единицы компиляции и выводит строки зависимостей в формате, подходящем для утилиты make. Это гарантирует, что make будет компилировать файлы исходного кода в правильном порядке и перекомпилировать те файлы, которые требуют перекомпиляции, при изменении файла исходного кода.

Типичное использование:

        ocamldep options *.mli *.ml > .depend

где *.mli *.ml расширяется до всех файлов исходного кода в текущем каталоге, а .depend — это файл, который должен содержать зависимости. (См. ниже типовой Makefile.)

Зависимости генерируются как для компиляции с байт-кодовым компилятором ocamlc, так и с компилятором кода нативном коде ocamlopt.

16.1 Параметры

Следующие параметры командной строки распознаются командой ocamldep.

-absname

Показывать абсолютные имена файлов в сообщениях об ошибках.

-all

Генерировать зависимости от всех необходимых файлов, а не предполагать неявные зависимости.

-allow-approx

Разрешить отказ от приблизительной оценки, основанной на лексическом анализе, при ошибках разбора.

-args filename

Читать дополнительные аргументы командной строки, разделенные символами новой строки, из файла filename.

-args0 filename

Читать дополнительные аргументы командной строки, завершающиеся нулевым символом, из файла filename.

-as-map

Для следующих файлов не включать отложенные зависимости для псевдонимов модулей. Этот параметр предполагает, что они были скомпилированы с параметрами -no-alias-deps -w -49 и что эти файлы или их интерфейсы передаются с параметром -map при вычислении зависимостей для других файлов. Обратите также внимание, что для правильности зависимостей в реализации файла карты его интерфейс не должен кодировать какие-либо псевдонимы, которые он содержит.

-debug-map

Вывести карту отложенных зависимостей для каждого файла карты.

-I directory

Добавить указанный каталог в список каталогов, которые проверяются на наличие файлов исходного кода. Если файл исходного кода foo.ml упоминает внешнюю единицу компиляции Bar, зависимость от интерфейса этой единицы bar.cmi генерируется только в том случае, если исходный код для bar находится в текущем каталоге или в одном из каталогов, указанных с помощью -I. В противном случае Bar предполагается модулем из стандартной библиотеки, и зависимости не генерируются. Для программ, охватывающих несколько каталогов, рекомендуется передать ocamldep те же параметры -I, которые передаются компилятору.

-nocwd

Не добавлять текущий рабочий каталог в список каталогов включения.

-impl file

Обработать file как файл .ml.

-intf file

Обработать file как файл .mli.

-map file

Прочитать и распространить отложенные зависимости для псевдонимов модулей в файле file, чтобы последующие файлы зависели от экспортированных псевдонимов модулей, если они их используют. См. пример ниже.

-ml-synonym .ext

Считать заданный расширение (с ведущей точкой) синонимом .ml.

-mli-synonym .ext

Считать заданный расширение (с ведущей точкой) синонимом .mli.

-modules

Вывести сырые зависимости вида

      filename: Module1 Module2 ... ModuleN

, где Module1, ..., ModuleN - имена единиц компиляции, на которые ссылается файл filename, но эти имена не разрешаются в имена файлов исходного кода. Такие сырые зависимости не могут использоваться утилитой make, но могут быть обработаны другими инструментами, такими как Omake.

-native

Генерировать зависимости для программы, написанной только на нативном коде (без байт-кодовой версии). Когда у файла реализации (.ml) нет явного файла интерфейса (.mli), ocamldep генерирует зависимости от скомпилированного файла байт-кода (.cmo), чтобы отразить изменения интерфейса. Это может привести к ненужной перекомпиляции байт-кода для программ, которые компилируются только в нативный код. Флаг -native заставляет генерировать зависимости от файлов, скомпилированных в нативный код (.cmx), вместо файлов .cmo. (Этот флаг не имеет значения, если у всех файлов исходного кода есть явные файлы интерфейса .mli.)

-one-line

Выводить по одной строке на файл, независимо от его длины.

-open module

Предполагать, что модуль module открыт перед разбором каждого из последующих файлов.

-pp command

Принудить ocamldep вызвать заданную команду command как предварительный процессор для каждого файла исходного кода.

-ppx command

Передавать абстрактные синтаксические деревья через предварительный процессор command.

-shared

Генерировать зависимости для файлов нативных плагинов (.cmxs) помимо файлов, скомпилированных в нативный код (.cmx).

-slash

В Windows использовать прямой слэш (/) в качестве разделителя путей вместо обычного обратного слэша (\). В Unix этот параметр ничего не делает.

-sort

Сортировать файлы по их зависимостям.

-version

Вывести строку версии и завершить работу.

-vnum

Вывести краткое числовой номер версии и завершить работу.

-help or --help

Отобразить краткое резюме использования и завершить работу.

16.2 Типовой Makefile

Вот шаблон Makefile для программы OCaml.

OCAMLC=ocamlc
OCAMLOPT=ocamlopt
OCAMLDEP=ocamldep
INCLUDES=                 # all relevant -I options here
OCAMLFLAGS=$(INCLUDES)    # add other options for ocamlc here
OCAMLOPTFLAGS=$(INCLUDES) # add other options for ocamlopt here

# prog1 should be compiled to bytecode, and is composed of three
# units: mod1, mod2 and mod3.

# The list of object files for prog1
PROG1_OBJS=mod1.cmo mod2.cmo mod3.cmo

prog1: $(PROG1_OBJS)
        $(OCAMLC) -o prog1 $(OCAMLFLAGS) $(PROG1_OBJS)

# prog2 should be compiled to native-code, and is composed of two
# units: mod4 and mod5.

# The list of object files for prog2
PROG2_OBJS=mod4.cmx mod5.cmx

prog2: $(PROG2_OBJS)
        $(OCAMLOPT) -o prog2 $(OCAMLFLAGS) $(PROG2_OBJS)

# Common rules

%.cmo: %.ml
        $(OCAMLC) $(OCAMLFLAGS) -c $<

%.cmi: %.mli
        $(OCAMLC) $(OCAMLFLAGS) -c $<

%.cmx: %.ml
        $(OCAMLOPT) $(OCAMLOPTFLAGS) -c $<

# Clean up
clean:
        rm -f prog1 prog2
        rm -f *.cm[iox]

# Dependencies
depend:
        $(OCAMLDEP) $(INCLUDES) *.mli *.ml > .depend

include .depend

Если вы используете псевдонимы модулей для присвоения более коротких имен модулям, вам необходимо изменить вышеприведенные определения. Предполагая, что ваш файл карты называется mylib.mli, вот минимальные изменения.

OCAMLFLAGS=$(INCLUDES) -open Mylib

mylib.cmi: mylib.mli
        $(OCAMLC) $(INCLUDES) -no-alias-deps -w -49 -c $<

depend:
        $(OCAMLDEP) $(INCLUDES) -map mylib.mli $(PROG1_OBJS:.cmo=.ml) > .depend

Обратите внимание, что в этом случае вы не должны вычислять зависимости для mylib.mli вместе с другими файлами, поэтому необходимо явно передать список файлов для обработки. Если у mylib.mli самих есть зависимости, вы должны вычислить их с помощью -as-map.