Я пытаюсь написать плагин ocamlbuild (myocamlbuild.ml), который будет использовать определения из другого файла. У меня есть много определений, которые я хотел бы использовать в нескольких плагинах сборки, и я хотел поместить их в свой собственный файл. Я попытался запустить ocamlbuild два раза, один раз с -no-plugin только для создания плагина, например.ocamlbuild: build plugin with options
ocamlbuild -no-plugin myocamlbuild.cmo
, а затем снова после
ocamlbuild actual-targets.otarget
, но когда я бегу второй он пытается восстановить плагин и жалуется, что не может найти включенную библиотеку (даже если существует в каталоге _build). Итак, есть ли способ, которым я могу убедить ocamlbuild включить «-I_build _build/coq_paths.cmx» в командной строке? Из «ocamlbuild -help» похоже, что есть флаг «-plugin-option», но я не могу найти способ его использовать.
Спасибо.