ocamlbuild：构建插件的选项

Question

我试图编写一个ocamlbuild插件（myocamlbuild.ml），它将使用来自另一个文件的定义。我有很多定义想要在多个构建插件中使用，并且希望将它们放在自己的文件中。我尝试了两次运行ocamlbuild，一次使用-no-plugin来构建插件，例如

ocamlbuild -no-plugin myocamlbuild.cmo

，然后再事后

ocamlbuild actual-targets.otarget

但是当我运行它试图重建插件第二个，并抱怨说，它无法找到包括图书馆（即使它存在于_build目录中）。那么，有什么方法可以说服ocamlbuild在命令行中包含'-I _build _build/coq_paths.cmx'？从'ocamlbuild -help'看起来好像有'-plugin-option'标志，但我找不到任何方法来使用它。

谢谢。

Answer 1

从4.01开始，ocamlbuild支持一个新的（实验性）选项-plugin-tag，它允许指定（内置）ocamlbuild标记以在编译myocamlbuild.ml时使用。如果使用findlib打包“coq-paths”，则可以使用

ocamlbuild -use-ocamlfind -plugin-tag "package(coq-path)" ...