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
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: Dec 05 2023 at 06:01 UTC