misc: allow null in extraPackages

This commit is contained in:
Gaetan Lepage 2024-04-23 16:41:27 +02:00 committed by Gaétan Lepage
parent c826d146c6
commit f2f97d844b
13 changed files with 22 additions and 39 deletions

View file

@ -252,7 +252,7 @@ in {
}
];
extraPackages = optional (cfg.leanPackage != null) cfg.leanPackage;
extraPackages = [cfg.leanPackage];
extraConfigLua = let
setupOptions = with cfg;