我正在尝试编写一个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'标志,但我找不到任何使用它的方法。
谢谢。