2018-04-21  coq  math  mac 

Installing CoqIDE 8.7.0 to MacBook

Reference

Environment

What I did

$ opam version
1.2.2
$ opam init
$ opam switch list
$ opam switch 4.05.0
$ eval `opam config env`
$ opam install camlp5
$ opam install ocamlfind
$ opam repo add coq-released https://coq.inria.fr/opam/released
$ opam install coq.8.7.0
$ opam install coqide.8.7.0

=> ERROR: The error message suggests: opam depext conf-gtksourceview.2

$ opam depext conf-gtksourceview.2

=> ERROR: OS package installation failed

$ opam install coqide.8.7.0

=> ERROR: Of course. Now I REBOOT Mac.

$ opam depext conf-gtksourceview.2

=> GOOD! OS packages installation successful

$ opam install coqide.8.7.0
$ opam install coq-mathcomp-ssreflect.1.6.2
$ which coqide
$ coqide &

Screenshot

Book

 2018-04-21  coq  math  mac