diff options
author | Austin Seipp <aseipp@pobox.com> | 2014-04-14 18:23:40 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-04-14 18:23:51 -0500 |
commit | 6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e (patch) | |
tree | 84dc85e1e64c40f5a80bef178ac8f674a9f0dc35 /pkgs/applications/editors/emacs-modes/cryptol | |
parent | 1b113178ee4ac31179bc529bfaa174982651c471 (diff) | |
download | nixpkgs-6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e.tar nixpkgs-6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e.tar.gz nixpkgs-6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e.tar.bz2 nixpkgs-6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e.tar.lz nixpkgs-6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e.tar.xz nixpkgs-6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e.tar.zst nixpkgs-6376ac57d881b96c9caaf35e44d1b6ea7fce3e3e.zip |
emacsPackages: add cryptol-mode
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/editors/emacs-modes/cryptol')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/cryptol/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/applications/editors/emacs-modes/cryptol/default.nix b/pkgs/applications/editors/emacs-modes/cryptol/default.nix new file mode 100644 index 00000000000..3290041178e --- /dev/null +++ b/pkgs/applications/editors/emacs-modes/cryptol/default.nix @@ -0,0 +1,27 @@ +{ stdenv, fetchgit, emacs }: + +stdenv.mkDerivation rec { + name = "cryptol-mode-${version}"; + version = "20141010"; + + src = fetchgit { + url = "https://github.com/thoughtpolice/cryptol-mode.git"; + rev = "50075d49d7c4ec4b03ce31b634424410262c1ad4"; + sha256 = "6ecd4904b7f3b1cd0721591ce45f16fe11cd1dd5fd7af8110d1f84b133ed4aec"; + }; + + buildInputs = [ emacs ]; + + installPhase = '' + install -d $out/share/emacs/site-lisp + install *.el *.elc $out/share/emacs/site-lisp + ''; + + meta = { + description = "Emacs major mode for Cryptol"; + homepage = "https://thoughtpolice/cryptol-mode"; + license = stdenv.lib.licenses.gpl3Plus; + platforms = stdenv.lib.platforms.all; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + }; +} |