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.
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
.
I have a preliminary patch adding native support. https://github.com/NixOS/nixpkgs/pull/224110
I am not so familiar with the override stuff so comments are welcome.
Last updated: Jun 11 2023 at 01:30 UTC