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;
|
|
};
|
|
}
|