Stream: Coq devs & plugin devs

Topic: Ocaml version sync between Coq's nix file and CI devs nix


view this post on Zulip Maxime Dénès (Sep 28 2020 at 10:56):

Currently, if I do nix-shell in the Coq folder, it picks up OCaml 4.09.1. If I run e.g. NOCOQ=1 dev/ci/nix/shell bignums, it picks up OCaml 4.10.0. Should these two versions be maintained in sync? The discrepancy breaks my workflow, where I use shells to iterate between changes in Coq and user devs, and building. @Théo Zimmermann , maybe you have an idea?

view this post on Zulip Théo Zimmermann (Sep 29 2020 at 07:18):

We pin OCaml in the main default.nix. This used to be to test a more recent version than what was the default in nixpkgs, but we haven't bumped it often enough and now we are lagging behind. I guess we could stop pinning a different version that nixpkgs provides, and we would avoid this problem.

view this post on Zulip Maxime Dénès (Sep 29 2020 at 07:42):

Not sure I understood it fully. Why do we pin in default.nix but not in dev/ci/*.nix?

view this post on Zulip Théo Zimmermann (Sep 29 2020 at 07:44):

I don't know precisely how dev/ci/*.nix works but if you do not pass the NOCOQ=1 option, then you reuse the derivation coming from the main default.nix so you don't have this discrepancy.

view this post on Zulip Théo Zimmermann (Sep 29 2020 at 07:45):

My proposition is just based on an intuition (untested).


Last updated: Oct 16 2021 at 02:03 UTC