ocamlbuild:带有选项的构建插件

ocamlbuild:带有选项的构建插件,ocaml,ocamlbuild,Ocaml,Ocamlbuild,我正在尝试编写一个ocamlbuild插件(myocamlbuild.ml),它将使用来自另一个文件的定义。我有很多定义,我想在几个构建插件中使用,我想把它们放在它们自己的文件中。我试过两次运行ocamlbuild,一次没有插件,只是为了构建插件 ocamlbuild-没有插件-cmlbuild.cmo 然后再接着 ocamlbuild-actual-targets.otarget 但是当我运行第二个插件时,它试图重建插件,并抱怨它找不到包含的库(即使它存在于_build目录中)。那么,

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


ocamlbuild-没有插件-cmlbuild.cmo

然后再接着


ocamlbuild-actual-targets.otarget

但是当我运行第二个插件时,它试图重建插件,并抱怨它找不到包含的库(即使它存在于_build目录中)。那么,我有没有办法说服ocamlbuild在命令行中包含“-I\u build\u build/coq\u path.cmx”?在“ocamlbuild-help”中,似乎有一个“-plugin option”标志,但我找不到任何方法来使用它


谢谢。

自4.01以来,ocamlbuild支持一个新的(实验性)选项
-plugin tag
,该选项允许指定编译
myocamlbuild.ml时使用的(内置)ocamlbuild标记。如果您使用findlib打包“coq路径”,那么您可以使用

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