首页 文章

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 ,它允许指定(内置)ocamlbuild标签,以便在编译 myocamlbuild.ml 时使用 . 如果使用findlib打包"coq-paths",则可以使用

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

相关问题