pkgs/applications/editors/emacs-modes/cryptol/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

{ stdenv, fetchurl, emacs }:

stdenv.mkDerivation rec {
  pname = "cryptol-mode";
  version = "0.1.0";

  src = fetchurl {
    url    = "https://github.com/thoughtpolice/cryptol-mode/archive/v${version}.tar.gz";
    sha256 = "1qyrqvfgpg1nyk1clv7v94r3amm02613hrak5732xzn6iak81cc0";
  };

  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 ];
  };
}