mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-10 14:14:20 +00:00
20 lines
316 B
Nix
20 lines
316 B
Nix
|
{ trivialBuild
|
||
|
|
, ott
|
||
|
|
, haskellPackages
|
||
|
|
}:
|
||
|
|
|
||
|
|
trivialBuild {
|
||
|
|
pname = "ott-mode";
|
||
|
|
|
||
|
|
inherit (ott) src version;
|
||
|
|
|
||
|
|
postUnpack = ''
|
||
|
|
mv $sourceRoot/emacs/ott-mode.el $sourceRoot
|
||
|
|
'';
|
||
|
|
|
||
|
|
meta = {
|
||
|
|
description = "Emacs ott mode (from ott sources)";
|
||
|
|
inherit (haskellPackages.Agda.meta) homepage license;
|
||
|
|
};
|
||
|
|
}
|