特定OCaml编译器不在opam列表时的安装及opam更新失败问题

问题现象 #

1. 创建指定OCaml编译器Switch失败 #

执行以下命令创建ocaml-variants.4.07.1+flambda的switch时，提示未找到匹配项：

(iit_synthesis) brando9~ $ opam switch create ocaml-variants.4.07.1+flambda_coq-serapi.8.11.0+0.11.1 ocaml-variants.4.07.1+flambda
[ERROR] No compiler matching `ocaml-variants.4.07.1+flambda' found, use `opam switch list-available' to see what is available, or use `--packages' to
        select packages explicitly.

2. 可用编译器列表无目标版本 #

执行opam switch list-available查看，列表中仅显示选项包，无目标编译器版本：

(iit_synthesis) brando9~ $ opam switch list-available
# Listing available compilers from repositories: default
# Name                  # Version # Synopsis
ocaml-option-32bit      1         Set OCaml to be compiled in 32-bit mode for 64-bit Linux and OS X hosts
ocaml-option-flambda    1         Set OCaml to be compiled with flambda activated
ocaml-option-nnpchecker 1         Set OCaml to be compiled with --enable-naked-pointers-checker
ocaml-option-spacetime  1         Set OCaml to be compiled with spacetime activated
ocaml-options-vanilla   1         Ensure that OCaml is compiled with no special options enabled

3. Opam仓库更新失败 #

执行opam update --all更新仓库时失败，报错patch命令执行出错：

$ opam update --all

<> Updating package repositories <>
Processing  1/1: [default: http]

Processing  1/1: [default: http]

[default] synchronised from https://opam.ocaml.org
[ERROR] Could not update repository "default": "~/anaconda/bin/patch -p1 -i /dfs/scratch0/brando9/.opam/log/patch-99014-0624b6" exited with code 2

环境背景 #

• 无sudo权限，通过手动解压deb包安装opam（版本1.2.2-4），操作步骤如下：

# - opam (snap, no sudo)
apt-get download opam
mkdir -p ~/.local
dpkg -x opam_1.2.2-4_amd64.deb ~/.local/bin
export PATH="$HOME/.local/bin:$PATH"
echo 'export PATH="$HOME/.local/bin:$PATH"' >> ~/.bashrc.user
source ~/.bashrc.user

tr ':' '\n' <<< "$PATH"

opam --version

• 曾尝试通过conda安装opam失败，怀疑该操作干扰了当前环境。

解决步骤 #

1. 排除conda环境干扰 #

当前处于conda环境中，conda自带的工具可能与opam冲突，先退出conda环境：

conda deactivate

之后再执行opam相关命令，避免conda工具覆盖本地工具链。

2. 升级Opam到2.x版本 #

opam 1.2.2是老旧版本，不支持现代OCaml版本和新仓库结构，必须升级。无sudo权限可通过官方脚本安装：

bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" -- --dir ~/.local

安装完成后重新加载环境变量：

source ~/.bashrc.user

验证版本确保为2.x：

opam --version

3. 重新初始化Opam仓库 #

升级后，先备份旧的opam配置（可选）：

mv ~/.opam ~/.opam_old

然后初始化opam，无sudo权限需禁用沙箱：

opam init --disable-sandboxing

初始化完成后更新仓库：

opam update

4. 创建目标编译器Switch #

现在尝试重新创建指定switch：

opam switch create ocaml-variants.4.07.1+flambda_coq-serapi.8.11.0+0.11.1 ocaml-variants.4.07.1+flambda

若仍找不到目标版本，添加Coq官方仓库后重试：

opam repo add coq-released https://coq.inria.fr/opam/released
opam update

5. 修复patch命令错误 #

如果更新仓库时仍出现patch报错，检查当前patch路径：

which patch

若指向conda的patch，指定系统patch路径：

opam config set patch /usr/bin/patch

之后再次执行opam update。

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