OCamlbuild:使用选项构建插件

4

我正在尝试编写一个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个回答

3

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

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

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接