Anton Podkopaev (Oct 07 2023 at 10:49): Anton Podkopaev (Oct 07 2023 at 10:49):Hi! I have a bunch of Coq libraries which I don't want to put to the nixpkgs main repo. For now, I have a fork of nixpkgs with the libraries' packages, but I don't like the solution. I'd prefer to have them being defined in a separate repo as overlays (i.e., like in this one). Does anyone have a set-up like this to take a look at?
Cyril Cohen (Oct 09 2023 at 13:05):Hi! There is a way to create local overlays in your repo. You may run nix-shell --arg do-nothing true --run "createOverlay", the overlay has the syntax of a file pkgs/development/coq-modules/*/default.nix in nixpkgs.
Cyril Cohen (Oct 09 2023 at 13:05):(you can also create a custom file in your local .nix/config/coq-overlays
Théo Zimmermann (Oct 09 2023 at 13:59):I think Anton is aware of this solution, but is looking for a way to not repeat the overlays across multiple repositories.
Cyril Cohen (Oct 09 2023 at 15:16):Ah sorry, I have no solution for that except for pushing a maximum of things to nixpkgs, or a fork of yours indeed.
Anton Podkopaev (Oct 10 2023 at 05:05):Yeah, I'm aware of this solution. But anyway thanks!
Last updated: Oct 13 2024 at 01:02 UTC