mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-04 03:53:56 +00:00
19 lines
385 B
Nix
19 lines
385 B
Nix
{ trivialBuild
|
|
, haskellPackages
|
|
}:
|
|
|
|
trivialBuild {
|
|
pname = "agda-input";
|
|
|
|
inherit (haskellPackages.Agda) src version;
|
|
|
|
postUnpack = ''
|
|
mv $sourceRoot/src/data/emacs-mode/agda-input.el $sourceRoot
|
|
'';
|
|
|
|
meta = {
|
|
inherit (haskellPackages.Agda.meta) homepage license;
|
|
description = "Standalone package providing the agda-input method without building Agda.";
|
|
};
|
|
}
|