junghanacs🧠

Backlinks

#증명보조기: #콕 #설치 #오펨 #VSCODE

ᨒ Sourceᨒ Blameᨒ History ↗

Created: Modified: 2 min read

이 노트에 대하여

opam으로 Coq와 CoqIDE, VSCoq 언어 서버를 설치하는 과정을 명령어 중심으로 정리한다. Emacs 외의 편집기 경로까지 함께 보며 Coq 환경을 넓게 이해하려는 보조 설치 노트다.

OPAM

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

먼저 opam 을 설치

.zshrc 수정 된다.

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

coq 설치

$ 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

coq-ide 설치

필요한 패키지를 apt 에서 일부 가져온다. 아무튼 설치 된다.

  $ 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

vscoq-language-server 설치

이제 설치한다.

 
$ opam install vscoq-language-server
 
After installation, check that you have vscoqtop in your shell and note the path to this executable:
 
$ which vscoqtop

이맥스 설정을 넣어라

opam으로 잡혀있으니까 넣어줘야 한다.

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

BIBLIOGRAPHY

Comments

Backlinks