diff options
author | adisbladis <adisbladis@gmail.com> | 2019-08-18 17:02:39 +0100 |
---|---|---|
committer | adisbladis <adisbladis@gmail.com> | 2019-08-30 16:43:25 +0100 |
commit | 26af6f335bdeb92bf25f75ad7d6e5678501f4dfc (patch) | |
tree | bc4e0d81a172660a25dafdbb42f6f9e44ba71cbc | |
parent | 6b2f177737305a03095685a0615055b7c4b61083 (diff) |
emacs-packages: Remove idris from old emacs package infrastructure
-rw-r--r-- | pkgs/applications/editors/emacs-modes/idris/default.nix | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/pkgs/applications/editors/emacs-modes/idris/default.nix b/pkgs/applications/editors/emacs-modes/idris/default.nix deleted file mode 100644 index 2e168b3abf7fc..0000000000000 --- a/pkgs/applications/editors/emacs-modes/idris/default.nix +++ /dev/null @@ -1,31 +0,0 @@ -{ stdenv, fetchurl, emacs }: - -stdenv.mkDerivation rec { - name = "${pname}-${version}"; - pname = "idris-mode"; - version = "0.9.18"; - - src = fetchurl { - url = "https://github.com/idris-hackers/${pname}/archive/${version}.tar.gz"; - sha256 = "06rw5lrxqqnw0kni3x9jm73x352d1vb683d41v8x3yzqfa2sxmwg"; - }; - - 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-mode; - license = stdenv.lib.licenses.gpl3; - - platforms = stdenv.lib.platforms.all; - }; -} |