如何将Ocaml升级到最新版本以支持Coq中的QuickChick？

Question

当我installed QuickChick from opam时，我获得了：

  

无法满足以下依赖性：

     

  

• coq-quickchick→ocaml> = 4.04.0

       

  此开关的基础（使用--unlock-base强制）

  

如何将ocaml升级到最新版本以支持QuickChick 而又不破坏Coq 的配置？

---

which ocaml：

  

/home/hengxin/opam-coq.8.9.0/ocaml-base-compiler.4.02.3/bin/ocaml

opam list：

Answer 1

如果我没记错的话，使用建议的选项（--unlock-base）将允许opam升级您的ocaml版本并保持不变。但是，由于几乎所有软件包都依赖于ocaml软件包，因此该操作实际上将重新安装所有软件包，因此您不会获得太多收益。创建一个新的开关。

如果您尝试这种方式，那么之后可能必须重新锁定某些软件包（例如ocaml），以避免在常规操作中使用opam对其进行修改（我不记得那个{{1} }是临时的还是永久的。

Answer 2

我非常担心@hengxin，您可能需要创建一个新的开关；另一方面，除非您有非常特殊的设置，否则什么都不会破坏。