如何将_oasis配置为OCaml设置“Profile”标志

Question

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

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

在_oasis中应该包括哪些内容来将profile设置为true？

Answer 1

您可以激活ocamlbuild_more_args功能。

在您的_oasis文件之上：

AlphaFeatures: ocamlbuild_more_args

然后，在你的包裹里：

XOCamlbuildExtraArgs: your_ocamlbuild_option

但是我在ocamlbuild中找不到任何-profile选项，所以我不知道这是关于什么的。而且，这个选项仍然很不稳定。

处理这一问题的更好方法是相应地修改_tags文件。它是由绿洲产生的，但你可以修改它。

编辑：

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

Answer 2

您可以通过将--enable-profile参数添加到./configure标志来启用oasis标志。但是到目前为止，我只注意到当我启用本机代码编译(CompiledObject: native in _oasis)时才会产生任何效果。即使如此，分析生成也只为gprof完成。

Answer 3

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

<true> : profile

运行以下命令：

echo "<true> : profile" >> _tags

在您的_tags文件所在的文件夹中。

如果仍然希望使用_oasis文件，则可以使用NativeOpt字段添加将传递给本机编译器的选项，即ocamlopt。