使用 Nix 安装

警告: 这不是安装 Coq 的标准方法。

对于 Linux(和 MacOS)的用户,他们希望获得对 Coq 的最新版本的访问权限,或者能够在同一台机器上使用多个版本的 Coq,而无需使用 opam,也无需编译来源,这是一种替代解决方案。

Nix 是 Unix 类型操作系统(如 Linux 和 MacOS)的软件包管理器。它带有自己的软件包集合,通常比 Debian 或 Ubuntu 更新。它与你的发行版的包管理器不冲突,因为它不会在/usr/bin 等中安装任何东西。

首先,你需要安装 Nix

$ curl https://nixos.org/nix/install | sh

要确保设置必要的环境变量,请再次登录,或键入:

. $HOME/.nix-profile/etc/profile.d/nix.sh

然后以下命令将安装最新版本的 Coq:

$ nix-env -iA nixpkgs.coq_8_6

你也可以在不向 PATH 添加任何内容的情况下运行 CoqIDE:

$ nix-shell -p coq_8_6 --run coqide

同样(假设你已经安装了 Emacs 和 Proof-General):

$ nix-shell -p coq_8_6 --run emacs

这对于在需要时运行不同版本非常有用。例如,要运行 Coq 8.5,请使用以下命令:

$ nix-shell -p coq_8_5 --run coqide