The Coq mailing list

[Xavier Leroy <Xavier.Leroy AT inria.fr>]

On Thu, Feb 25, 2021 at 4:41 PM Pierre Courtieu <Pierre.Courtieu AT cnam.fr> wrote:

Hi, I tend to do:

opam init 

opam install coq

opam remove coq

This leaves my system with everything needed to compile coq. And indeed zarith 1.11 is installed with opam.

You can save much compilation time:

opam install --deps-only coq

should install only the packages needed  to install Coq, but not Coq itself.

Concerning the original question about minimal ZArith version: I cannot swear ZArith 1.7 is good enough for Coq's purposes, even though the changes between 1.7 and 1.10 seem minor.  If you look at the Github history of Coq's configure.ml script, you'll see that @ejgallego is adamant that 1.10 is required.

- Xavier Leroy

Hope this helps.

Pierre

Le jeu. 25 févr. 2021 à 15:34, Michael Soegtrop <MSoegtrop AT yahoo.de> a écrit :

Hi Benedikt,

did you give the Coq Platform setup scripts a try? For the 8.13.1
version and Linux the instructions are here:

https://github.com/coq/platform/blob/2021.02/README_Linux.md

There is a snap package and an opam based fully automated "compile from
sources" method - the scripts will also setup opam in case it is not yet
there and install system prerequisites as needed.

The scripts did work last time I tried it on Debian (it compiles ZArith
from sources using opam).

Best regards,

Michael