nixpkgs/pkgs/build-support/agda
Philipp Joram 294245f750 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`.
2024-04-07 16:36:57 +03:00
..
default.nix haskellPackages.Agda: Split outputs to reduce closure size 2024-04-07 16:36:57 +03:00
lib.nix agda: Don't be too picky about everythingFile 2024-03-18 23:11:20 +01:00