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

:rooster: Coq plugin for ASDF version manager.
https://github.com/gingerhot/asdf-coq

asdf-coq asdf-plugin coq coq-installation coq-version-manager version-manager

Last synced: 3 months ago
JSON representation

:rooster: Coq plugin for ASDF version manager.

• Host: GitHub
• URL: https://github.com/gingerhot/asdf-coq
• Owner: gingerhot
• License: mit
• Created: 2017-12-09T11:15:01.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2020-03-27T18:28:31.000Z (almost 5 years ago)
• Last Synced: 2024-04-14T04:18:43.671Z (10 months ago)
• Topics: asdf-coq, asdf-plugin, coq, coq-installation, coq-version-manager, version-manager
• Language: Shell
• Homepage: https://github.com/asdf-vm/asdf
• Size: 17.6 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# asdf-coq

[![Build Status](https://travis-ci.org/gingerhot/asdf-coq.svg?branch=master)](https://travis-ci.org/gingerhot/asdf-coq)

[Coq](https://coq.inria.fr/) plugin for [asdf](https://github.com/asdf-vm/asdf) version manager.

## Install

```shell

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](https://github.com/asdf-vm/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](https://github.com/vic/asdf-ocaml) to install corresponding version OCaml at first.