ocamlbuild:带有选项的构建插件

Question

我正在尝试编写一个ocamlbuild (myocamlbuild.ml)，它将使用来自另一个文件的定义。我有很多定义，我想要在几个构建插件中使用，我想把它们放在自己的文件中。我试着运行ocamlbuild两次，一次用-没有插件只是为了构建插件。

ocamlbuild -no-plugin myocamlbuild.cmo

然后再来一次

ocamlbuild actual-targets.otarget

但是当我运行第二个插件时，它尝试重新构建插件，并抱怨它找不到包含的库(尽管它存在于_build目录中)。那么，我是否可以说服ocamlbuild在命令行中包含'-I _build _build/coq_ that s.cmx‘？在“ocamlbuild-help”中，看起来有一个“插件-选项”标志，但是我找不到使用它的任何方法。

谢谢。

Answer 1

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

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