diff options
| author | Philipp Joram <nixpkgs@phijor.me> | 2024-04-05 16:56:52 +0300 |
|---|---|---|
| committer | Philipp Joram <nixpkgs@phijor.me> | 2024-04-07 16:36:57 +0300 |
| commit | 294245f7501e0a8e69b83346a4fa5afd4ed33ab3 (patch) | |
| tree | 942b35d167eaa490a4c75fd67a7a9394b0ec8cab /pkgs/development/python-modules/rangehttpserver | |
| parent | 8a35fec862ef48c5a56f5121febe3eb86e085c2d (diff) | |
haskellPackages.Agda: Split outputs to reduce closure size
After enabling a separate binary output for the `Agda` Haskell package,
the new `bin` output measures ~100MiB, compared to the ~4.5GiB before.
Using it in `agdaWithPackages` reduces the closure size of an Agda
installation from ~5GiB to ~3GiB. The remaining space is taken up
mostly by the GHC backend.
With this change, derivations depending on `haskellPackages.Agda`
directly need to pick the right (binary) output. This concerns in
particular `emacsPackages.agda2-mode`.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions