如何配置 OCaml 的_oasis以设置'Profile'标志



OCaml中有一个现有项目和一个_oasis文件。我不知道在哪里可以启用ocamlbuild的评测标志。

我查阅了Oasis的手册和代码,发现setup.data中有一个变量profile。我想这就是Oasis自动生成的。

要将profile设置为true,我应该在_oasis中包含哪些内容?

您可以激活ocamlbuild_more_args功能。

_oasis文件的顶部:

AlphaFeatures: ocamlbuild_more_args

然后,在您的包裹中:

XOCamlbuildExtraArgs: your_ocamlbuild_option

不过,我在ocamlbuild中找不到任何-profile选项,所以我不确定这是怎么回事。此外,这个选项仍然相当不稳定。

更好的处理方法是相应地修改_tags文件。它是由oasis生成的,但你可以修改它。

编辑:

setup.data会通知您环境变量。至于profile,它显示-p选项是否会传递给ocamlopt。您可以使用NativeOpt字段传递它。

您可以通过向./configure标志添加--enable-profile参数来启用oasis配置文件标志。但到目前为止,我只注意到当我启用本机代码编译(_oasis中的CompiledObject: native)时有任何效果。即便如此,分析生成也只针对gprof完成。

我建议您使用_tags文件,因为这是最简单的方法。只需将以下内容添加到您的_tags:

<true> : profile

您运行以下命令:

echo "<true> : profile" >> _tags

位于_tags文件所在的文件夹中。

如果您仍然想使用_oasis文件,那么您可以使用NativeOpt字段来添加将传递给本机编译器的选项,即ocamlopt

相关内容

  • 没有找到相关文章

最新更新