Ali Caglayan (Nov 19 2022 at 13:56): 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.
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.
Ali Caglayan (Mar 31 2023 at 18:36):I have a preliminary patch adding native support. https://github.com/NixOS/nixpkgs/pull/224110
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