ocamlbuild:使用选项构建插件

时间:2013-12-10 16:38:32

标签: ocaml ocamlbuild

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

感谢。

1 个答案:

答案 0 :(得分:3)

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

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