Sebastian Ertel (Oct 11 2023 at 19:22): 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.
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.
Sebastian Ertel (Oct 12 2023 at 10:04):Thanks a lot for that link. I will give it a try.
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.
Théo Zimmermann (Oct 12 2023 at 15:10):None of this is true actually.
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
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: Oct 13 2024 at 01:02 UTC