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:

Regarding this point:

- Get the Coq Platform scripts via either of these methods
  - Most users should download and extract
  - Users which intend to contribute to Coq Platform should use
    git clone --branch 2023.03.0

Which one should I go for if I intend to develop plugins later?

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