From 8fad5a72ecf312729e5a130326fe0b71663d7904 Mon Sep 17 00:00:00 2001 From: Mathijs Kwik Date: Mon, 6 Jan 2014 12:19:13 +0100 Subject: [PATCH] add emacs/idris-mode --- .../editors/emacs-modes/idris/default.nix | 30 +++++++++++++++++++ pkgs/top-level/all-packages.nix | 2 ++ 2 files changed, 32 insertions(+) create mode 100644 pkgs/applications/editors/emacs-modes/idris/default.nix diff --git a/pkgs/applications/editors/emacs-modes/idris/default.nix b/pkgs/applications/editors/emacs-modes/idris/default.nix new file mode 100644 index 00000000000..7bd39cd2b4e --- /dev/null +++ b/pkgs/applications/editors/emacs-modes/idris/default.nix @@ -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; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index c7ea2f5fffe..caceedece2a 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 {