Stream: Nix toolbox devs & users

Topic: nix-shell for coq.dev


view this post on Zulip 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.

view this post on Zulip 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).

view this post on Zulip Théo Zimmermann (Nov 18 2021 at 17:21):

You need to define a bundle which sets the version of Coq to "master".

view this post on Zulip 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: Jan 29 2023 at 15:02 UTC