使用 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