Stream: Coq users

Topic: Q on installing from source for plugins


view this post on Zulip Julio Di Egidio (Nov 27 2023 at 17:52):

Hi guys, I am installing Coq from source on Ubuntu following the guide here:
https://github.com/coq/platform/blob/main/doc/README_Linux.md#installation-by-compiling-from-sources-using-opam

Regarding this point:

- Get the Coq Platform scripts via either of these methods
  - Most users should download and extract
    https://github.com/coq/platform/archive/refs/tags/2023.03.0.zip.
  - Users which intend to contribute to Coq Platform should use
    git clone --branch 2023.03.0 https://github.com/coq/platform.git.

Which one should I go for if I intend to develop plugins later?
https://github.com/coq/coq/tree/master/doc/plugin_tutorial

view this post on Zulip Karl Palmskog (Nov 27 2023 at 17:53):

contributing to the Platform is orthogonal to plugin development. I'd go with the zip file.


Last updated: Jun 23 2024 at 04:03 UTC