4
我試圖編寫一個ocamlbuild插件（myocamlbuild.ml），它將使用來自另一個文件的定義。我有很多定義想要在多個構建插件中使用，並且希望將它們放在自己的文件中。我嘗試了兩次運行ocamlbuild，一次使用-no-plugin來構建插件，例如ocamlbuild：構建插件的選項
ocamlbuild -no-plugin myocamlbuild.cmo
，然後再事後
ocamlbuild actual-targets.otarget
但是當我運行它試圖重建插件第二個，並抱怨說，它無法找到包括圖書館（即使它存在於_build目錄中）。那麼，有什麼方法可以說服ocamlbuild在命令行中包含'-I _build _build/coq_paths.cmx'？從'ocamlbuild -help'看起來好像有'-plugin-option'標誌，但我找不到任何方法來使用它。
謝謝。