Stream: Nix toolbox devs & users

Topic: Repo with overlays


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Cyril Cohen (Oct 09 2023 at 13:05):

(you can also create a custom file in your local .nix/config/coq-overlays

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Anton Podkopaev (Oct 10 2023 at 05:05):

Yeah, I'm aware of this solution. But anyway thanks!


Last updated: May 25 2024 at 21:01 UTC