从Dune 1.1升级到Dune 2.0时出现可选依赖错误

你遇到的问题既不是操作错误，也不是Dune的bug——这是Dune 2.0对(select)语法做出的故意破坏性变更，目的是标准化配置规则，提升依赖跟踪的可靠性。

问题根源解析 #

在Dune 1.1中，(select)允许你自由指定分支文件的路径和命名，但Dune 2.0对这个语法做了严格限制：

1. 变体文件必须遵循{目标文件名}.{变体名}.{扩展名}的格式（比如目标是vpl_domain.ml，变体文件就得是vpl_domain.xxx.ml）。
2. 变体文件必须和目标文件在同一目录下，不能在分支中直接指定路径。

你的第一个错误就是因为分支文件不符合vpl_domain.{name}.ml的格式；第二个错误则是因为你移除了路径，但实际变体文件还在domains/numeric/目录下，Dune在当前目录找不到对应的文件。

正确的解决方案 #

按照Dune 2.0的规范调整文件和配置即可：

1. 重命名变体文件

将你的两个变体文件改成符合格式的名字：

• 把domains/numeric/vpl_domain.ok.ml重命名为domains/numeric/vpl_domain.vpl.ml（这里的vpl对应你依赖的标志名，和(vpl -> ...)中的标志保持一致）
• 把domains/numeric/vpl_domain.ko.ml重命名为domains/numeric/vpl_domain.novpl.ml（novpl是对应!vpl的变体名，你也可以用no_vpl这类更清晰的名称，只要文件名匹配vpl_domain.{variant}.ml就行）

2. 修改(select)配置

调整后的dune文件配置应该是：

(select domains/numeric/vpl_domain.ml from (vpl -> vpl) (!vpl -> novpl))

这个配置的逻辑是：

• 当vpl依赖存在时，用vpl_domain.vpl.ml生成vpl_domain.ml
• 当vpl依赖不存在时，用vpl_domain.novpl.ml生成目标文件

额外说明 #

如果你实在不想重命名或移动文件，也可以通过(copy_files)将变体文件复制到目标目录，或者调整(include_subdirs)配置让Dune能找到文件，但最规范、最不易出问题的方式还是遵循Dune 2.0的命名和路径要求。

内容的提问来源于stack exchange，提问作者ghilesZ