Stream: Nix toolbox devs & users

Topic: Nix version of coq-native?


view this post on Zulip Ali Caglayan (Nov 19 2022 at 13:56):

Do we have a Nix version of opam's coq-native? I want to have Coq compiled with -native-compiler=yes however I believe that coq_8_16 only gives ondemand. I cannot find the cmxs' installed in the Nix store.

view this post on Zulip Théo Zimmermann (Nov 20 2022 at 11:31):

No, we don't. I think there is no equivalent of depots in Nix, so the only way to have -native-compiler=yes would be to add an optional argument to the coq derivation that we would be able to set with a .override.

view this post on Zulip Ali Caglayan (Mar 31 2023 at 18:36):

I have a preliminary patch adding native support. https://github.com/NixOS/nixpkgs/pull/224110

view this post on Zulip Ali Caglayan (Mar 31 2023 at 18:37):

I am not so familiar with the override stuff so comments are welcome.


Last updated: Dec 05 2023 at 06:01 UTC