emacsPackages.ott-mode: trivialBuild -> melpaBuild

Also fix homepage and license.
This commit is contained in:
Lin Jian 2024-07-20 12:26:09 +08:00
parent 44a500aa33
commit 742a358a93
No known key found for this signature in database
GPG Key ID: A6698D36434F75A5

View File

@ -1,19 +1,22 @@
{ trivialBuild
, ott
, haskellPackages
}:
{ melpaBuild, ott }:
trivialBuild {
melpaBuild {
pname = "ott-mode";
inherit (ott) src version;
postUnpack = ''
mv $sourceRoot/emacs/ott-mode.el $sourceRoot
files = ''("emacs/*.el")'';
postPatch = ''
pushd emacs
echo ";;; ott-mode.el ---" > tmp.el
cat ott-mode.el >> tmp.el
mv tmp.el ott-mode.el
popd
'';
meta = {
description = "Emacs ott mode (from ott sources)";
inherit (haskellPackages.Agda.meta) homepage license;
inherit (ott.meta) homepage license;
};
}