CODEWITHSUNDEEP
bashubuntucoqopamcoqide
hengxin
hengxin

Reputation: 1999

How to launch `coqide` on Ubuntu?

I have installed coq and CoqIDE via opam, following the instructions here.

As noted in the instruction, each time I have to

export OPAMROOT=~/opam-coq.8.9.0

eval `opam config env`

before launching CoqIDE via coqide.

Otherwise, it complains

Command coqide not found.

How to configure my system so that I can launch coqide directly via coqide each time? Adding the export and eval commands to ~/.bashrc and source ~/.bashrc does not work for me.

Configuration:

Upvotes: 1

Views: 753

Answers (1)

eponier
eponier

Reputation: 3122

You can run opam init that offers to modify your .bash_profile with the correct line. This will avoid the need of eval `opam config env` (or rather eval $(opam env) from version 2) in every terminal.

If you use a non-standard OCAMLROOT, it seems to me that you must add the appropriate export OCAMLROOT line in one of your bash configuration files (and I assume it must be read before the line added by opam init).

Upvotes: 1

Related Questions