1

我已经按照此处的说明安装coq并CoqIDE通过了。opam

如说明中所述，每次我必须

导出 OPAMROOT=~/opam-coq.8.9.0

eval `opam 配置环境`

在CoqIDE通过coqide.

否则，它会抱怨

coqide找不到命令。

如何配置我的系统，以便我可以coqide直接通过coqide每次启动？将exportandeval命令添加到~/.bashrcandsource ~/.bashrc对我不起作用。

配置：

  • Ubuntu 18.04.2 LTS，64 位
  • 奥帕姆 2.0
  • coq 8.9.0
4

1 回答 1

1

您可以运行该提议以使用正确的行opam init来修改您的提议。.bash_profile这将避免每个终端都需要eval `opam config env`（或者更确切地说eval $(opam env)是版本 2）。

如果您使用 non-standard OCAMLROOT，在我看来，您必须export OCAMLROOT在您的一个 bash 配置文件中添加适当的行（并且我假设必须在添加的行之前读取它opam init）。

于 2019-04-25T09:52:31.323 回答