add emacs/idris-mode

This commit is contained in:
Mathijs Kwik 2014-01-06 12:19:13 +01:00
parent b93e6efbf4
commit 8fad5a72ec
2 changed files with 32 additions and 0 deletions

View file

@ -0,0 +1,30 @@
{ stdenv, fetchgit, emacs }:
stdenv.mkDerivation rec {
name = "idris-mode-20140106";
src = fetchgit {
url = https://github.com/idris-hackers/idris-mode.git;
rev = "47df65dd5b554c1d7cf70a07c3bd06d80867f870";
sha256 = "55df66d1bace134bea83f0547e01daf068fc96dc080cf88ea8945ddcb2d08ea4";
};
buildInputs = [ emacs ];
buildPhase = ''
emacs -L . --batch -f batch-byte-compile *.el
'';
installPhase = ''
install -d $out/share/emacs/site-lisp
install *.el *.elc $out/share/emacs/site-lisp
'';
meta = {
description = "Emacs major mode for Idris";
homepage = https://github.com/idris-hackers/idris-modehttps://github.com/idris-hackers/idris-mode;
license = "GPLv3";
platforms = stdenv.lib.platforms.all;
};
}

View file

@ -7773,6 +7773,8 @@ let
gist = callPackage ../applications/editors/emacs-modes/gist { };
idris = callPackage ../applications/editors/emacs-modes/idris { };
jade = callPackage ../applications/editors/emacs-modes/jade { };
jdee = callPackage ../applications/editors/emacs-modes/jdee {