我正在尝试编写一个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'标志,但我找不到任何方法来使用它。
感谢。
答案 0 :(得分:3)
从4.01开始,ocamlbuild支持一个新的(实验性)选项-plugin-tag
,允许指定(内置)ocamlbuild标记,以便在编译myocamlbuild.ml
时使用。如果使用findlib打包“coq-paths”,则可以使用
ocamlbuild -use-ocamlfind -plugin-tag "package(coq-path)" ...