问题标签 [ocamlbuild]

我希望这是我的问题的正确位置。实际上我是 coq 用户，我正在尝试在“Mac OS X Lion 10.7.4”下使用 ocaml 实现一种新策略。我已经安装了我可能需要的所有库。编译我的 ocaml 文件并尝试在 coq 中导入它时（我使用 Proofgenral 和 Aquamacs）我收到此错误错误：不支持动态链接。经过长时间的搜索，我发现这是链接库的问题，但我还没有找到解决方法。

我正在使用 ocamlbuild 对 ocamlfind 的原生支持来简化我的项目的构建过程。Filefoo.ml依赖于使用camlp4 的宏进行条件编译。该_tags文件包含以下内容：

这很好用，但我无法将选项传递给camlp4。如果不使用 ocamlbuild+ocamlfind 自动化，命令行将是这样的：

-DFOO但是在使用 ocamlbuild+ocamlfind 时如何传递 camlp4变量？我觉得应该有一个简单的命令行选项，而不是乱用myocamlbuild.ml.

有没有办法告诉 ocamlbuild 不要进入某些目录？

我有 _tags 里面有以下内容：

但是 ocamlbuild 表示其中有一些 .dll dir3（在我清理它们之前拒绝构建），不应使用该_tags配置进行扫描。手册里什么都查不到。

我在 Debian Linux 上，不要对 .dll 有误解。

谢谢！

我正在尝试安装 ocamlgraph 作为 frama-c 的要求。当我安装 ocamlgraph 并运行 make 时，我收到以下编译错误：

我在 Ubuntu-10.04 上运行并尝试了 ocamlgraph-1.6 和 ocamlgraph-1.8.2 版本，但出现了相同的错误。我机器上的ocaml版本是ocaml-3.11.2。

谢谢

我意识到您可以使用 ocamlbuild xxx.inferred.mli 一个一个地生成推断的 mli 文件，但我希望这可以为我自动完成（也可以查看 ocaml 推断的类型并使用这些 mli 作为我自己的基础）。当然，我想跳过我自己已经指定了 mli 的模块。

我想在我生成的文档中包含源代码。当我ocamldoc像这样在命令行上调用时，这有效ocamldoc -I _build -html -keep-code -colorize-code *.{ml,mli} -d .docdir：但是，我在将其与ocamlbuild.

我正在使用以下代码myocamlbuild.ml：

但这仅包括没有相应接口文件的文件的源 - 与这里所说的相反，它看起来像ocamlbuild拒绝将.ml文件传递给ocamldoc当有.mli文件存在时。有没有办法哄 ocamlbuild 做我想做的事？

我不知道这个错误是什么意思，我从来没有见过它抱怨的行之前是否包含 x -> let 我在此之前使用 match with 但它仍然给我同样的错误。

我的每个构建都返回一个 expr，这应该构建一个大 expr 任何帮助将不胜感激。提前致谢！:D

我正在尝试使用ocamlbuild而不是make，但我无法将我的目标文件与外部.cma库正确链接。似乎ocamlbuild首先尝试确定依赖关系，然后忽略-L/path/to/lib.cma. make我只是将所有必要的目录与-I和-L标志一起传递给，ocamlc但这些似乎不起作用ocamlbuild-ocamlc因为找不到必要的库，所以一直失败。

如何使用 Ocamlbuild 使用启用的配置文件信息进行构建？那里似乎-p行不通。

现在，我用ocamlopt这个。例如，

如何做同样的事情

我安装的 OCaml 无法识别 #!，因此无法独立运行 camlp4o。它必须作为“ocamlrun camlp4o”调用。

我尝试在插件中添加一个标志。但是新标志只是简单地添加到现有标志中。

结果是 ocamlbuild 将调用编译器

“-pp camlp4o ocamlrun camlp4o”。

一个可行的解决方法是引入一个新标签“my_camlp4o”。但是，ocamlbuild 的文档确实提到了“覆盖”默认值的能力。看来ocamlc，ocamlopt可以被覆盖。但是我们可以覆盖camlp4o吗？可以在插件中完成吗？