Stream: Nix toolbox devs & users

Topic: ✔ Simple way to drop into a dev version of Coq


view this post on Zulip Ali Caglayan (Mar 03 2023 at 16:05):

Hi, what is a simple way to drop into a dev version of Coq in a nix-shell?

view this post on Zulip Ali Caglayan (Mar 03 2023 at 16:05):

If Coq had a flake, I would know how to do it, but I don't know how to do this with usual derivations.

view this post on Zulip Ali Caglayan (Mar 03 2023 at 16:06):

I'm hoping I can just point to some commit in the Coq repo and tell Nix to build the default derivation

view this post on Zulip Ali Caglayan (Mar 03 2023 at 16:06):

Otherwise I suppose I can cook up a quick derivation to do this, but I am wondering if it is possible via the command line

view this post on Zulip Théo Zimmermann (Mar 03 2023 at 17:58):

@Ali Caglayan You can do this, because Coq's derivation, already supports a pretty flexible .override mechanism. See https://github.com/coq/coq/wiki/Nix#overriding-coq.

view this post on Zulip Théo Zimmermann (Mar 03 2023 at 17:58):

Instead of master, you can also provide a commit hash.

view this post on Zulip Ali Caglayan (Mar 03 2023 at 20:19):

Perfect!

view this post on Zulip Notification Bot (Mar 03 2023 at 20:19):

Ali Caglayan has marked this topic as resolved.


Last updated: May 19 2024 at 16:02 UTC