ocaml - OCaml が 'Profile' フラグを設定するように _oasis を設定する方法

Question

OCaml に既存のプロジェクトと 1 つの_oasisファイルがあります。のプロファイリング フラグを有効にする場所がわかりませんocamlbuild。

Oasis のマニュアルとコードを調べたところprofile、setup.data に使用可能な変数があることがわかりました。これは、Oasis が自動生成したものだと思います。

trueに設定するには、_oasis のどこに何を含める必要がありprofileますか?

Answer 1

機能を有効にすることができocamlbuild_more_argsます。

_oasisファイルの上に：

AlphaFeatures: ocamlbuild_more_args

次に、パッケージで：

XOCamlbuildExtraArgs: your_ocamlbuild_option

ただし、ocamlbuild に -profile オプションが見つからないため、これが何を意味するのかわかりません。また、このオプションはまだ非常に不安定です。

これを処理するより良い方法は、_tagsそれに応じてファイルを変更することです。これは oasis によって生成されますが、変更することができます。

編集：

setup.data環境変数を通知します。プロファイルに関しては、-pオプションが ocamlopt に渡されるかどうかを示します。フィールドを使用して渡すことができNativeOptます。

Answer 2

--enable-profileフラグに引数を追加することで、oasis プロファイル フラグを有効にできます./configure。しかし、これまでのところ、ネイティブ コードのコンパイル ( CompiledObject: native_oasis 内) を有効にした場合にのみ効果に気づきました。それでも、プロファイリングの生成は gprof に対してのみ行われます。

Answer 3

_tagsファイルを使用するのが最も簡単な方法であるため、ファイルを使用することをお勧めします。に次を追加するだけ_tagsです：

<true> : profile

次のコマンドを実行します。

echo "<true> : profile" >> _tags

_tagsファイルが置かれているフォルダー内。

_oasisそれでもfileを使用したい場合はNativeOpt、field を使用して、ネイティブ コンパイラに渡されるオプションを追加できますocamlopt。