Как настроить _oasis для OCaml, чтобы установить флаг "Профиль"

Question

У меня есть существующий проект в OCaml и один _oasis файл. Я не знаю, где включить флаг профилирования для ocamlbuild,

Я посмотрел руководство Oasis и код и обнаружил переменную profile доступно в setup.data. Я предполагаю, что это было то, что автоматически генерировал Оазис.

Где и что я должен включить в _oasis для установки profile к правде?

Answer 1

Вы можете активировать ocamlbuild_more_args особенность.

На вершине вашего _oasis файл:

AlphaFeatures: ocamlbuild_more_args

Затем в вашем пакете:

XOCamlbuildExtraArgs: your_ocamlbuild_option

Я не могу найти никакой опции -profile в ocamlbuild, так что я не уверен, о чем идет речь. Кроме того, эта опция все еще довольно нестабильна.

Лучший способ справиться с этим - изменить ваш _tags подать соответственно. Он генерируется оазисом, но вы можете изменить его.

РЕДАКТИРОВАТЬ:

setup.data информирует вас о переменных среды. Что касается профиля, он показывает, если -p опция будет передана в ocamlopt. Вы можете передать его, используя NativeOpt поле.

Answer 2

Вы можете включить флаг профиля оазиса, добавив --enable-profile аргумент ./configure флаг. Но до сих пор я заметил какой-либо эффект, только когда я включил компиляцию нативного кода (CompiledObject: native в _oasis). Уже тогда генерация профилирования выполняется только для gprof.

Answer 3

Я предлагаю вам использовать _tags подать, так как это самый простой способ. Просто добавьте следующее к вашему _tags:

<true> : profile

Вы запускаете эту команду:

echo "<true> : profile" >> _tags

в папке, где ваш _tags файл находится.

Если вы все еще хотите использовать _oasis файл, то вы можете использовать NativeOpt поле, чтобы добавить опции, которые будут переданы в собственный компилятор, т. е. ocamlopt,