From 2b7128808d4c0755ccb08b500966278c22b1be6c Mon Sep 17 00:00:00 2001
From: Robin Gloster <mail@glob.in>
Date: Thu, 30 Mar 2017 01:28:14 +0200
Subject: [PATCH] jclasslib: remove

---
 .../tools/java/jclasslib/builder.sh           | 22 -------------------
 .../tools/java/jclasslib/default.nix          | 13 -----------
 pkgs/top-level/all-packages.nix               |  2 --
 3 files changed, 37 deletions(-)
 delete mode 100755 pkgs/development/tools/java/jclasslib/builder.sh
 delete mode 100644 pkgs/development/tools/java/jclasslib/default.nix

diff --git a/pkgs/development/tools/java/jclasslib/builder.sh b/pkgs/development/tools/java/jclasslib/builder.sh
deleted file mode 100755
index 35e94d0fab9..00000000000
--- a/pkgs/development/tools/java/jclasslib/builder.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-source $stdenv/setup || exit 1
-
-tar zxf $src || exit 1
-cd jclasslib || exit 1
-
-xpf-rm -f build.xml "//taskdef"
-
-ant clean || exit 1
-ant jar || exit 1
-
-mkdir -p $out/bin
-mv build/jclasslib.jar $out/bin/ || exit 1
-
-cat >> $out/bin/jclasslib <<EOF
-#! /bin/sh
-
-export JAVA_HOME=$jre
-
-$jre/bin/java -jar $out/bin/jclasslib.jar \$@
-EOF
-
-chmod a+x $out/bin/jclasslib || exit 1
diff --git a/pkgs/development/tools/java/jclasslib/default.nix b/pkgs/development/tools/java/jclasslib/default.nix
deleted file mode 100644
index 1d8ae80572a..00000000000
--- a/pkgs/development/tools/java/jclasslib/default.nix
+++ /dev/null
@@ -1,13 +0,0 @@
-{stdenv, fetchurl, xpf, jre, ant}:
-
-stdenv.mkDerivation {
-  name = "jclasslib-2.0";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = mirror://sourceforge/jclasslib/jclasslib_unix_2_0.tar.gz;
-    sha256 = "1y2fbg5h2p3fwcp7h5n1qib7x9svyrilq3i58vm6vany1xzg7nx5";
-  };
-
-  inherit jre xpf ant;
-  buildInputs = [xpf ant];
-}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 4d7ee99c688..23b1c2c1c11 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -10306,8 +10306,6 @@ with pkgs;
 
   javaCup = callPackage ../development/libraries/java/cup { };
 
-  jclasslib = callPackage ../development/tools/java/jclasslib { };
-
   jdom = callPackage ../development/libraries/java/jdom { };
 
   jflex = callPackage ../development/libraries/java/jflex { };