#COQ 설치 오펨 스코드

opam pin add coq 8.18.0
opam install coqide
opam install vscoq-language-server

bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)"

# sudo add-apt-repository ppa:avsm/ppa
# sudo apt install opam

$ opam pin add coq 8.18.0

coq is now pinned to version 8.18.0

coq The following actions will be performed:
=== install 8 packages
  ∗ conf-gmp      4               [required by zarith]
  ∗ coq           8.18.0 (pinned)
  ∗ coq-core      8.18.0          [required by coq]
  ∗ coq-stdlib    8.18.0          [required by coq]
  ∗ coqide-server 8.18.0          [required by coq]
  ∗ dune          3.16.0          [required by coq]
  ∗ ocamlfind     1.9.6           [required by coq-core]
  ∗ zarith        1.13            [required by coq-core]

Proceed with ∗ 8 installations? [y/n] y

➜ coqtop --version
The Coq Proof Assistant, version 8.18.0
compiled with OCaml 4.13.1
(base) ~ via  v20.14.0

  $ opam install coqide

  <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed conf-pkg-config.3
∗ installed conf-adwaita-icon-theme.2
∗ installed conf-findutils.1
∗ installed conf-gtk3.18
∗ installed conf-cairo.1
∗ installed conf-gtksourceview3.0+2
⬇ retrieved coqide.8.18.0  (cached)
⬇ retrieved camlp-streams.5.0.1  (https://opam.ocaml.org/cache)
⬇ retrieved cairo2.0.6.4  (https://opam.ocaml.org/cache)
∗ installed camlp-streams.5.0.1
⬇ retrieved dune-configurator.3.16.0  (cached)
⬇ retrieved csexp.1.5.2  (https://opam.ocaml.org/cache)
∗ installed csexp.1.5.2
⬇ retrieved lablgtk3.3.1.5, lablgtk3-sourceview3.3.1.5  (https://opam.ocaml.org/cache)
∗ installed dune-configurator.3.16.0
∗ installed cairo2.0.6.4
∗ installed lablgtk3.3.1.5
∗ installed lablgtk3-sourceview3.3.1.5
∗ installed coqide.8.18.0

$ opam install vscoq-language-server

After installation, check that you have vscoqtop in your shell and note the path to this executable:

$ which vscoqtop

    (setq coq-prog-name "/home/junghan/.opam/default/bin/coqtop")