1

我有一个当前使用 OCamlMake 构建的 OCaml 项目。我对当前的构建系统不满意，因为它将所有构建工件与源文件放在同一目录中，而且它还需要手动指定模块之间的依赖顺序。我想切换到不受这些问题困扰的构建系统。我决定尝试 Oasis，但遇到了问题。

问题源于该项目是以非常特定的方式构建的事实。它支持几种不同的数据库后端（PostgreSQL、MySQL、SQLite）。目前，要编译数据库后端，用户必须安装该后端所需的额外库，并通过设置环境变量来启用它。这是它在 Makefile 中的样子：

ifdef MYSQL_LIBDIR
   DB_CODE    += mysql_database.ml
   DB_AUXLIBS += $(MYSQL_LIBDIR)
   DB_LIBS    += mysql
endif

请注意，这也会将额外的模块添加到已编译模块的列表中。重要的是，从应用程序入口点可访问的任何模块与数据库后端模块之间没有依赖关系（在模块导入的意义上）。相反，每个数据库后端模块都包含在模块启动时运行的顶级代码，并使用副作用向主应用程序注册自身。

我无法让此设置与 Oasis 一起使用。我将每个数据库后端模块声明为一个单独的库，可以使用标志启用编译：

Library mysql-backend
  Path          : .
  Build        $: flag(mysql)
  Install       : false
  BuildTools    : ocamlbuild
  BuildDepends  : main, mysql
  Modules       : Mysql_backend

但是，我想不出一种方法来告诉 Oasis 将可选模块链接到可执行文件中。我试图通过修改myocamlbuild.ml文件找出一种方法，但失败了。我可以使用此处rule描述的功能来实现这一点吗？

如果我所描述的无法实现ocamlbuild，是否有任何其他工具可以完成这项工作并避免 OCamlMake 的问题？

4

3 回答 3

1

好吧，我想这可以回答：https ://github.com/links-lang/links/pull/77 :)

于 2016-10-01T15:17:03.307 回答
1

在我注意到上面 Drup 的答案之前，我看到了这个问题并开始研究它。下面是一个独立的 ocamlbuild 解决方案，它与 Drup 的基本相同。

open Ocamlbuild_plugin

let enable_plugin () =
  let plugins = try string_list_of_file "plugin.config" with _ -> [] in
  dep ["ocaml"; "link_with_plugin"; "byte"]
    (List.map (fun p -> p^".cmo") plugins);
  dep ["ocaml"; "link_with_plugin"; "native"]
    (List.map (fun p -> p^".cmx") plugins);
  ()

let () = dispatch begin
    function
    | Before_rules -> enable_plugin ()
    | _ -> ()
end

在 ocamlbuild 目标上使用标记link_with_plugin将使其依赖于文件中列出的路径（不带扩展名）的任何模块plugin.config。例如，如果您有 pluginspluga.ml和plugb.mlfile main.ml，那么写入并拥有将链接主可执行文件pluga plugb中的两个插件模块。plugin.config<main.{cmo,cmx}>: link_with_plugin

于 2016-10-02T01:11:18.107 回答
0

不幸的是，这超出了绿洲的能力。这个限制与 无关ocamlbuild，只是因为oasis作者试图保持简单，并且没有提供可选的依赖项作为特性。

与往常一样，额外的间接级别可能会解决您的问题。您需要的是一个配置脚本 ( )，它将根据用户提供的参数为您configure生成文件。_oasis

例如，在我们的项目中，我们有一个类似的设置，即多个不同的后端，可能由用户在配置阶段选择，使用--{enable,disable}-<feature>. 我们通过编写自己的脚本来实现这一点，该脚本根据配置./configure生成文件。_oasis配置脚本只是将生成的_oasis文件从oasis文件夹中描述出来。

另一种解决方案是使用m4or just cpp，并拥有一个_oasis.in经过预处理的文件。

于 2016-09-30T18:03:05.393 回答