Как запустить `coqide` на Ubuntu?

Question

Я установил coq и CoqIDE через opam, следуя инструкциям здесь .

Как указано в инструкции, каждый раз мне приходится

export OPAMROOT = ~ / opam-coq.8.9.0

eval `opam config env`

перед запуском CoqIDE через coqide.

В противном случае он жалуется

Команда coqide не найдена.

Как настроить мою систему так, чтобы я мог запускать coqide напрямую через coqide каждый раз?Добавление команд export и eval к ~/.bashrc и source ~/.bashrc не работает для меня.

---

Конфигурация:

• Ubuntu 18.04.2 LTS,64-битный
• опам 2.0
• coq 8.9.0

Answer 1

Вы можете запустить opam init, который предлагает изменить .bash_profile с правильной строкой.Это позволит избежать необходимости eval `opam config env` (точнее eval $(opam env) из версии 2) в каждом терминале.

Если вы используете нестандартный OCAMLROOT, мне кажется, что вы должны добавить соответствующиеexport OCAMLROOT строка в одном из ваших файлов конфигурации bash (и я предполагаю, что она должна быть прочитана до строки, добавленной opam init).