Maxime Dénès (Sep 28 2020 at 10:56): 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?
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.
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?
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.
Théo Zimmermann (Sep 29 2020 at 07:45):My proposition is just based on an intuition (untested).
Last updated: Sep 09 2024 at 06:02 UTC