Ali Caglayan (Mar 03 2023 at 16:05): 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?
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.
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
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
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.
Théo Zimmermann (Mar 03 2023 at 17:58):Instead of master, you can also provide a commit hash.
Ali Caglayan (Mar 03 2023 at 20:19):Perfect!
Notification Bot (Mar 03 2023 at 20:19):Ali Caglayan has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC