From edd2d907a001506715beab28af01bd3be4f430f0 Mon Sep 17 00:00:00 2001
From: Bjørn Forsman <bjorn.forsman@gmail.com>
Date: Thu, 22 Aug 2013 22:52:10 +0200
Subject: Remove jing_tools expression (now contained in jing expression
 itself)

The jing expression now creates its own "jing" wrapper script, so there
is no need for jing_tools anymore.

jing hasn't been updated in years, so I assume (or hope) that not many
(if any) have jing_tools in their configuration.nix. If you do, just
change it to jing and it should behave the same.
---
 pkgs/tools/text/xml/jing/jing-script.nix   | 12 ------------
 pkgs/tools/text/xml/jing/script-builder.sh | 14 --------------
 2 files changed, 26 deletions(-)
 delete mode 100644 pkgs/tools/text/xml/jing/jing-script.nix
 delete mode 100644 pkgs/tools/text/xml/jing/script-builder.sh

(limited to 'pkgs/tools')

diff --git a/pkgs/tools/text/xml/jing/jing-script.nix b/pkgs/tools/text/xml/jing/jing-script.nix
deleted file mode 100644
index d6433f43a0cf..000000000000
--- a/pkgs/tools/text/xml/jing/jing-script.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, jre, unzip} :
-
-stdenv.mkDerivation {
-  name = "jing-tools-20030619";
-  builder = ./script-builder.sh;
-
-  jing = (import ./default.nix) {
-    inherit stdenv fetchurl unzip;
-  };
-
-  inherit jre;
-}
\ No newline at end of file
diff --git a/pkgs/tools/text/xml/jing/script-builder.sh b/pkgs/tools/text/xml/jing/script-builder.sh
deleted file mode 100644
index d9cc88492769..000000000000
--- a/pkgs/tools/text/xml/jing/script-builder.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-source $stdenv/setup
-
-mkdir -p $out/bin
-
-cat >> $out/bin/jing <<EOF
-#! $SHELL
-
-export JAVA_HOME=$jre
-export LANG="en_US"
-
-exec $jre/bin/java -jar $jing/bin/jing.jar "\$@"
-EOF
-
-chmod a+x $out/bin/jing
-- 
cgit 1.4.1