Stream: Coq devs & plugin devs

Topic: CI dependencies


view this post on Zulip Andres Erbsen (Feb 07 2023 at 17:03):

Is there a canonical list of dependencies to build the CI developments? I am trying to port them over https://github.com/coq/coq/pull/17022 and my next task would be to figure out what OCaml libraries are needed by ci-elpi ci-reduction_effects ci-vscoq ci-serapi ci-equations ci-smtcoq and how to get them from Debian repositories.

view this post on Zulip Ali Caglayan (Feb 07 2023 at 17:10):

Why not use opam to get the dependencies?

view this post on Zulip Ali Caglayan (Feb 07 2023 at 17:10):

It might be difficult to find all the deps on debian. Especially since some of them would be quite recent.

view this post on Zulip Gaëtan Gilbert (Feb 07 2023 at 17:44):

There's the dockerfile https://github.com/coq/coq/blob/master/dev/ci/docker/bionic_coq/Dockerfile

view this post on Zulip Andres Erbsen (Feb 07 2023 at 17:49):

Thank you!

view this post on Zulip Andres Erbsen (Feb 08 2023 at 15:31):

sudo apt-get install libzarith-ocaml-dev libounit-ocaml-dev libocamlgraph-ocaml-dev cppo dune libodoc-ocaml-dev libppx-deriving-yojson-ocaml-dev libcpu-ocaml-dev libppx-import-ocaml-dev libppx-sexp-conv-ocaml-dev libppx-hash-ocaml-dev libsexplib-ocaml-dev libyojson-ocaml-dev elpi libelpi-ocaml-dev wdiff seems to get me past all obviously dependency-related errors on Debian testing :).


Last updated: Dec 01 2023 at 06:01 UTC