Skip to content

gingerhot/asdf-coq

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

40 Commits
 
 
 
 
 
 
 
 

Repository files navigation

asdf-coq

Build Status

Coq plugin for asdf version manager.

Install

asdf plugin-add coq https://github.com/gingerhot/asdf-coq

Prerequisites

  • OCaml
  • OPAM

you need install some packages for building Coq:

opam install -y num ocamlfind camlp5

Usage

List all available Coq versions:

asdf list-all coq

Install one version of Coq:

asdf install coq 8.7.0

More asdf command details to asdf README.

Note

  • CoqIDE not included in this installation
  • Some Coq version depends on OCaml version, e.g. for Coq 8.6.1, OCaml must comply >= "4.01.0" and < "4.06.0". More info see Available item in: https://opam.ocaml.org/packages/coq/coq.8.6.1/ (change the 8.6.1 to your version). You may also need asdf OCaml plugin to install corresponding version OCaml at first.