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

   1 {stdenv, fetchsvn}:
   2
   3 let
   4   revision = "73";
   5 in
   6
   7 stdenv.mkDerivation {
   8   name = "hol_light_mode-${revision}";
   9
  10   src = fetchsvn {
  11     url = http://seanmcl-ocaml-lib.googlecode.com/svn/trunk/workshop/software/emacs;
  12     rev = revision;
  13     sha256 = "3ca83098960439da149a47e1caff32536601559a77f04822be742a390c67feb7";
  14   };
  15
  16   installPhase = ''
  17     DEST=$out/share/emacs/site-lisp
  18     ensureDir $DEST
  19     cp -a * $DEST
  20   '';
  21
  22   meta = {
  23     description = "A HOL Light mode for emacs";
  24   };
  25 }