1

こちらの手順に従って、coqとCoqIDEをインストールしました。opam

指示に記載されているように、私がしなければならないたびに

export OPAMROOT=~/opam-coq.8.9.0

eval `opam config env`

CoqIDE経由で起動する前にcoqide。

そうでなければ文句を言う

コマンドcoqideが見つかりません。

毎回coqide経由で直接起動できるようにシステムを構成する方法は? andコマンドをandにcoqide追加してもうまくいきません。exporteval~/.bashrcsource ~/.bashrc

構成：

  • Ubuntu 18.04.2 LTS、64 ビット
  • オパム 2.0
  • コック 8.9.0
4

1 に答える 1

1

opam initそのオファーを実行し.bash_profileて、正しい行で変更できます。eval `opam config env`これにより、すべての端末で(またはeval $(opam env)バージョン 2 から)の必要性が回避されます。

非標準の を使用する場合、bash 構成ファイルの 1 つにOCAMLROOT適切な行を追加する必要があるように思えexport OCAMLROOTます (また、 によって追加された行の前にそれを読み取る必要があると思いますopam init)。

于 2019-04-25T09:52:31.323 に答える