diff options
author | Bjørn Forsman <bjorn.forsman@gmail.com> | 2013-08-22 22:52:10 +0200 |
---|---|---|
committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2013-08-22 23:20:10 +0200 |
commit | edd2d907a001506715beab28af01bd3be4f430f0 (patch) | |
tree | f09ea99776723f6e65677dac68debf0c466fd244 /pkgs/tools/text/xml | |
parent | 993deb1a4a96971f0de41fa596bb2ddd134ef171 (diff) |
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.
Diffstat (limited to 'pkgs/tools/text/xml')
-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 d6433f43a0cfe..0000000000000 --- 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 d9cc884927692..0000000000000 --- 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 |