diff options
| author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-01-06 12:19:13 +0100 |
|---|---|---|
| committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-01-07 07:16:47 +0100 |
| commit | 8fad5a72ecf312729e5a130326fe0b71663d7904 (patch) | |
| tree | bb15f622f2e181b8744796ceb8a612012cf49c53 /pkgs | |
| parent | b93e6efbf406017898c4f22a9bf8646ed751af3b (diff) | |
| download | nixlib-8fad5a72ecf312729e5a130326fe0b71663d7904.tar nixlib-8fad5a72ecf312729e5a130326fe0b71663d7904.tar.gz nixlib-8fad5a72ecf312729e5a130326fe0b71663d7904.tar.bz2 nixlib-8fad5a72ecf312729e5a130326fe0b71663d7904.tar.lz nixlib-8fad5a72ecf312729e5a130326fe0b71663d7904.tar.xz nixlib-8fad5a72ecf312729e5a130326fe0b71663d7904.tar.zst nixlib-8fad5a72ecf312729e5a130326fe0b71663d7904.zip | |
add emacs/idris-mode
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/applications/editors/emacs-modes/idris/default.nix | 30 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 32 insertions, 0 deletions
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 000000000000..7bd39cd2b4e0 --- /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 c7ea2f5fffe5..caceedece2aa 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 { |