Skip to content

Latest commit

 

History

History
42 lines (28 loc) · 1.01 KB

README.md

File metadata and controls

42 lines (28 loc) · 1.01 KB

Simple Spacemacs layer for Coq

Includes Proof General and Company-Coq. Retains original Proof General key bindings.

Installation

  • Install Coq dependencies

      $ opam switch 4.03.0
  $ eval $(opam config env)
  $ opam install batteries core camlp5

  • Install Coq with company-coq patches

      $ mkdir -p ~/local/packages
  $ cd ~/local/packages
  $ git clone [email protected]:mbrcknl/coq.git
  $ cd coq
  $ git checkout v8.5-company-coq
  $ ./configure -local
  $ make

  • Add ~/local/packages/coq/bin to your PATH.

  • Install Proof General

      $ cd ~/.emacs.d/private/local
  $ git clone [email protected]:ProofGeneral/PG.git ProofGeneral
  $ cd ProofGeneral
  $ make

  • Install Spacemacs layer

      $ cd ~/.emacs.d/private
  $ git clone [email protected]:mbrcknl/spacemacs-coq coq

  • Add coq layer to ~/.spacemacs