Andres Erbsen (Feb 07 2023 at 17:03): 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.
Ali Caglayan (Feb 07 2023 at 17:10):Why not use opam to get the dependencies?
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.
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
Andres Erbsen (Feb 07 2023 at 17:49):Thank you!
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 liblablgtksourceview3-ocaml-dev inotify-tools seems to get me past all obviously dependency-related errors on Debian testing :).
Last updated: Apr 20 2024 at 03:40 UTC