public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

emacsPackages: Add standalone agda-input package that doesn't require building Agda.

Browse Source
This commit is contained in:
Shea Levy 2020-04-09 09:14:40 -04:00
parent 6ade57efe3
commit 6fac063e09
No known key found for this signature in database
GPG Key ID: 5C0BD6957D86FE27
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/editors/emacs-modes/manual-packages.nix
View File

@ -52,6 +52,19 @@
}; };
}; };
agda-input = self.trivialBuild {
pname = "agda-input";
inherit (external.Agda) src version;
postUnpack = "mv $sourceRoot/src/data/emacs-mode/agda-input.el $sourceRoot";
meta = {
description = "Standalone package providing the agda-input method without building Agda.";
inherit (external.Agda.meta) homepage license;
};
};
ess-R-object-popup = ess-R-object-popup =
callPackage ./ess-R-object-popup { }; callPackage ./ess-R-object-popup { };