使用opam reinstall或make安装opam项目时是否需执行opam pin？

一、什么时候需要用opam pin？ #

• 本地修改了包的源码，想让opam优先使用你本地的修改版本，而非远程仓库的官方版本
• 安装未发布到opam仓库的本地项目（比如你自己下载的Coq源码），通过pin把包名映射到本地路径，让opam能识别并管理这个包
• 需要锁定某个包到特定的本地版本，防止opam自动更新它

二、opam pin是opam reinstall的必要步骤吗？ #

不是。opam reinstall本身只是重新安装opam已注册的包，不管这个包来自远程仓库还是本地路径。

但你看到的代码里先pin再reinstall的原因很明确：

1. 先用opam pin把coq_package_name绑定到本地coq_package_pin_path，告诉opam这个包要从本地路径读取
2. 再执行opam reinstall，确保安装的是你本地路径里的最新代码，而不是之前可能安装过的远程仓库版本

如果跳过pin直接执行reinstall，opam会重新从远程仓库拉取包的源码安装，完全不会用到你本地的版本。

三、用make命令安装时需要opam pin吗？ #

不需要。make是直接从本地源码编译安装，完全不依赖opam的包管理流程。但如果希望这个通过make安装的包能被opam识别（比如让其他opam包可以依赖它），那需要先通过opam pin绑定包名到本地路径，再用opam命令安装；如果只是自己手动编译使用，不需要opam管理的话，直接用make就行，没必要pin。

相关代码示例 #

opam pin 代码示例

command = (['opam', 'pin', '-y']
           + root_option()
           + ['--switch', switch]
           + [coq_package_name, coq_package_pin_path])

opam reinstall 代码示例

command: list = ['opam',
     'reinstall',
     root_option(),
     '--yes',
     '--switch',
     switch,
     '--keep-build-dir',
     coq_package_name]

make 安装代码示例

command: list = ['make', '-C', coq_proj_path]

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