colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

emacsPackages.hol_light_mode: Remove unmaintained & broken package

Browse Source
This commit is contained in:
adisbladis 2020-05-12 20:37:52 +01:00
parent a1f68b7f93
commit 097eba0dc2
No known key found for this signature in database
GPG Key ID: 110BFAD44C6249B7
2 changed files with 0 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
pkgs/applications/editors/emacs-modes/hol_light/default.nix
View File

@ -1,29 +0,0 @@
{ stdenv, fetchsvn }:
stdenv.mkDerivation rec {
pname = "hol_light-mode";
version = "73";
src = fetchsvn {
url = "http://seanmcl-ocaml-lib.googlecode.com/svn/trunk/workshop/software/emacs";
rev = version;
sha256 = "3ca83098960439da149a47e1caff32536601559a77f04822be742a390c67feb7";
};
installPhase = ''
DEST=$out/share/emacs/site-lisp
mkdir -p $DEST
cp -a * $DEST
'';
meta = {
description = "A HOL Light mode for Emacs";
homepage = "http://www.cl.cam.ac.uk/~jrh13/hol-light/";
license = stdenv.lib.licenses.gpl2Plus;
platforms = stdenv.lib.platforms.all;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
# Fails trying to fetch dependencies in build
# broken = true;
};
}

1
pkgs/applications/editors/emacs-modes/manual-packages.nix
View File

@ -135,7 +135,6 @@
colorThemeSolarized = callPackage ./color-theme-solarized { };
emacsSessionManagement = callPackage ./session-management-for-emacs { };
hsc3-mode = callPackage ./hsc3 { };
hol_light_mode = callPackage ./hol_light { };
ido-ubiquitous = callPackage ./ido-ubiquitous { };
ocaml-mode = callPackage ./ocaml { };
prolog-mode = callPackage ./prolog { };