別のファイルの定義を使用する ocamlbuild プラグイン (myocamlbuild.ml) を作成しようとしています。複数のビルド プラグインで使用したい多くの定義があり、それらを独自のファイルに入れたいと考えていました。プラグインをビルドするためだけに -no-plugin を指定して ocamlbuild を 2 回実行してみました。
ocamlbuild -no-plugin myocamlbuild.cmo
そしてその後また
ocamlbuild actual-targets.otarget
しかし、2番目のものを実行すると、プラグインを再構築しようとし、含まれているライブラリが見つからないと不平を言います(_buildディレクトリに存在しますが)。それで、コマンドラインに '-I _build _build/coq_paths.cmx' を含めるように ocamlbuild を納得させる方法はありますか? 「ocamlbuild -help」から、「-plugin-option」フラグがあるように見えますが、それを使用する方法が見つかりません。
ありがとう。