如何冻结Opam项目依赖树并基于固定依赖安装项目

一、生成依赖锁定文件（替代Python的requirements.txt） #

Opam提供两种核心方式实现依赖冻结，适配不同场景：

1. 单个Coq项目的精确依赖锁定
   若你的项目配有.opam文件，在项目根目录执行：

   opam lock
   

   命令会生成<你的包名>.opam.locked文件，包含当前项目所有直接/间接依赖的精确版本、源地址（Git源会附带commit哈希）及校验和。该文件会强制Opam安装时严格使用锁定版本，规避官方仓库更新引发的依赖冲突。

2. 冻结整个Opam Switch的环境快照
   若要保存当前Switch的完整已安装包状态，执行：

   opam export > opam-export.txt
   

   生成的opam-export.txt记录了Switch内所有包的版本、源信息，相当于整个开发环境的快照。

二、基于锁定文件安装依赖 #

• 使用项目锁定文件：在项目目录下直接运行：

  opam install . --locked
  

  Opam会严格遵循.opam.locked中的版本配置安装所有依赖，忽略仓库内的更新版本。
• 导入Switch快照：在新Switch或新机器上还原环境时，先创建并切换到目标Switch，再执行：

  opam import opam-export.txt
  

  命令会自动安装快照中记录的所有包的精确版本。

三、自动固定（pin）项目及其依赖到Git提交哈希 #

针对Git源的Coq项目依赖，可通过以下命令批量获取当前安装版本的commit哈希并固定：

opam list --installed --format="%n %s" | grep git | while read pkg source; do
  commit=$(echo "$source" | sed -n 's/.*#\([0-9a-f]\{40\}\).*/\1/p')
  if [ -n "$commit" ]; then
    opam pin add -y "$pkg" "$source#$commit"
  fi
done

该命令会遍历当前Switch中所有Git源安装的包，自动将其固定到当前使用的commit，避免后续操作拉取最新版本导致兼容性问题。

四、为什么Opam不能像pip那样直接提取已安装依赖列表 #

核心差异源于两者的设计理念：

• Pip采用扁平式依赖管理，所有包安装在同一环境，pip freeze可直接列出所有已安装包的版本。
• Opam基于Switch隔离环境+约束优先的依赖求解设计，同一个包可在不同Switch存在不同版本，且默认依赖关系基于约束而非强制固定。
  若需要类似pip freeze的简洁输出，可执行：

  opam list --installed --format="%n.%v"
  

  该命令会输出包名.版本号格式的内容，但仅包含版本信息；若需保存Git源包的完整状态，建议使用opam export或项目锁定文件。

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