cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

ott-mode: Init (version inherited from ott)

Browse source 
This way it is pre-compiled.
This commit is contained in:
John Ericson 2021-01-05 13:40:34 -05:00
parent 2ae527c50e
commit 0f52f30928
2 changed files with 14 additions and 1 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

@ -114,6 +114,19 @@
org-mac-link = org-mac-link =
callPackage ./org-mac-link { }; callPackage ./org-mac-link { };
ott-mode = self.trivialBuild {
pname = "ott-mod";
inherit (external.ott) src version;
postUnpack = "mv $sourceRoot/emacs/ott-mode.el $sourceRoot";
meta = {
description = "Standalone package providing ott-mode without building ott and with compiled bytecode.";
inherit (external.Agda.meta) homepage license;
};
};
perl-completion = perl-completion =
callPackage ./perl-completion { }; callPackage ./perl-completion { };

2
pkgs/top-level/all-packages.nix
View file

@ -21089,7 +21089,7 @@ in
inherit inherit
autoconf automake editorconfig-core-c git libffi libpng pkgconfig autoconf automake editorconfig-core-c git libffi libpng pkgconfig
poppler rtags w3m zlib substituteAll rustPlatform cmake llvmPackages poppler rtags w3m zlib substituteAll rustPlatform cmake llvmPackages
libtool zeromq openssl; libtool zeromq openssl ott;
}; };
}; };