我正在尝试编写一个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 回答
从4.01开始,ocamlbuild支持一个新的(实验性)选项
-plugin-tag
,它允许指定(内置)ocamlbuild标签,以便在编译myocamlbuild.ml
时使用 . 如果使用findlib打包"coq-paths",则可以使用