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.

Last updated: Jan 29 2023 at 15:02 UTC