我正在尝试编写一个 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' 标志，但我找不到任何使用它的方法。
谢谢。
最佳答案
从 4.01 开始，ocamlbuild 支持一个新的(实验性)选项 -plugin-tag允许在编译时指定(内置)ocamlbuild 标签 myocamlbuild.ml .如果使用 findlib 打包“coq-paths”，则可以使用
ocamlbuild -use-ocamlfind -plugin-tag "package(coq-path)" ...
关于ocamlbuild:使用选项构建插件，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/20500070/