diff options
| author | Naïm Favier <n@monade.li> | 2024-04-14 09:56:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-14 09:56:56 +0200 |
| commit | 25f42f0350b2106a5f4eba565130794476bb4259 (patch) | |
| tree | 39e676b7bf4f0cfbd36fb7b2a5e0d9820f2c9e5c /pkgs/applications/editors | |
| parent | 5477b3525f9ac49086d15866b27c0db6dfa90b50 (diff) | |
| parent | 294245f7501e0a8e69b83346a4fa5afd4ed33ab3 (diff) | |
Merge pull request #302351 from phijor/agda-separate-bin-output
haskellPackages.Agda: Split outputs to reduce closure size
Diffstat (limited to 'pkgs/applications/editors')
| -rw-r--r-- | pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix b/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix index 2533153bd4474..7418a842148a7 100644 --- a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix +++ b/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix @@ -1,21 +1,23 @@ { trivialBuild , haskellPackages }: - -trivialBuild rec { +let + Agda = haskellPackages.Agda.bin; +in +trivialBuild { pname = "agda-mode"; - version = haskellPackages.Agda.version; + version = Agda.version; dontUnpack = true; # already byte-compiled by Agda builder buildPhase = '' - agda=`${haskellPackages.Agda}/bin/agda-mode locate` + agda=`${Agda}/bin/agda-mode locate` cp `dirname $agda`/*.el* . ''; meta = { - inherit (haskellPackages.Agda.meta) homepage license; + inherit (Agda.meta) homepage license; description = "Agda2-mode for Emacs extracted from Agda package"; longDescription = '' Wrapper packages that liberates init.el from `agda-mode locate` magic. |