Christian Doczkal (Nov 18 2021 at 16:24): Christian Doczkal (Nov 18 2021 at 16:24):If I have Nix installed, is there a simple way to get a nix-shell with the current coq master already built? I'm trying to fix some project that no longer builds against coq master.
Théo Zimmermann (Nov 18 2021 at 17:21):There's a bit of an issue with the automatic caching of new Coq master versions, so yes, but only if it happens that at least one project in coq-community or math-comp has already built the latest Coq master in CI (if you have activated the coq-community and math-comp Cachix caches).
Théo Zimmermann (Nov 18 2021 at 17:21):You need to define a bundle which sets the version of Coq to "master".
Théo Zimmermann (Nov 18 2021 at 17:22):Then, you can run nix-shell for this bundle (if it's not the default bundle, you need to provide the bundle argument with --argstr to nix-shell).
Last updated: Oct 08 2024 at 15:02 UTC