問題タブ [coqide]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

95 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
440 参照

bash - Ubuntu で「coqide」を起動する方法は?

こちらの手順に従って、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

12345678910