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-smtcoq and how to get them from Debian repositories.
Why not use opam to get the dependencies?
It might be difficult to find all the deps on debian. Especially since some of them would be quite recent.
There's the dockerfile https://github.com/coq/coq/blob/master/dev/ci/docker/bionic_coq/Dockerfile
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