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?
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.
Not sure I understood it fully. Why do we pin in
default.nix but not in
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.
My proposition is just based on an intuition (untested).
Last updated: Jun 08 2023 at 04:01 UTC