Stream: Nix toolbox devs & users

Topic: mathcomp-extra via nix


view this post on Zulip Sebastian Ertel (Oct 11 2023 at 19:22):

Hi there.

I would like to load mathcomp-extra along all the other mathcomp modules in my nix flake.
Sadly, mathcomp-extra currently does not have nix support.
What would be the proper steps to add nix support to it?

Kind regards,
Sebastian.

view this post on Zulip Théo Zimmermann (Oct 12 2023 at 07:13):

You can try to add it to nixpkgs by following the documentation at https://nixos.org/manual/nixpkgs/unstable/#sec-language-coq. It contains an example that depends on a bunch of mathcomp packages, so this should provide a good basis.

view this post on Zulip Sebastian Ertel (Oct 12 2023 at 10:04):

Thanks a lot for that link. I will give it a try.

view this post on Zulip Sebastian Ertel (Oct 12 2023 at 15:09):

Sadly, mathcomp-fingroup and mathcomp-field also do not have nix support yet. And hierarchy-builder does not yet have a release for Coq 8.17.

view this post on Zulip Théo Zimmermann (Oct 12 2023 at 15:10):

None of this is true actually.

view this post on Zulip Sebastian Ertel (Oct 12 2023 at 15:16):

Oh, then maybe I missed something. I appologize.
Maybe I'm looking at the wrong place.

For example, for hierarchy-builder, this is the file I'm looking at:
https://github.com/NixOS/nixpkgs/blob/4e7bb552f35af407f8c9e5224daf463aab06b818/pkgs/development/coq-modules/hierarchy-builder/default.nix

view this post on Zulip Sebastian Ertel (Oct 12 2023 at 15:17):

Oh, I was on the wrong branch in the nixpkgs repo. My bad!
Thanks for the hint.


Last updated: May 25 2024 at 20:01 UTC