diff options
Diffstat (limited to 'pkgs/tools')
-rw-r--r-- | pkgs/tools/text/xml/jing/jing-script.nix | 12 | ||||
-rw-r--r-- | pkgs/tools/text/xml/jing/script-builder.sh | 14 |
2 files changed, 0 insertions, 26 deletions
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 |