Remove jing

No longer exists
This commit is contained in:
Tim Steinbach 2016-11-04 10:27:01 -04:00
parent 628531a783
commit 7329435fab
No known key found for this signature in database
GPG Key ID: 83FF2ACAEB6C2D24
3 changed files with 0 additions and 38 deletions

View File

@ -1,22 +0,0 @@
{ stdenv, fetchurl, unzip, jre }:
stdenv.mkDerivation {
name = "jing-20091111";
builder = ./unzip-builder.sh;
src = fetchurl {
url = https://jing-trang.googlecode.com/files/jing-20091111.zip;
sha256 = "134h2r22r64v5yk4v8mhl6r893dlw5vzx9daf2sj2mbbma004sap";
};
inherit unzip jre;
meta = with stdenv.lib; {
description = "A RELAX NG validator in Java";
# The homepage is www.thaiopensource.com, but it links to googlecode.com
# for downloads and call it the "project site".
homepage = http://www.thaiopensource.com/relaxng/jing.html;
platforms = platforms.linux;
maintainers = [ maintainers.bjornfor ];
};
}

View File

@ -1,14 +0,0 @@
set -e
source $stdenv/setup
$unzip/bin/unzip $src
mkdir -p $out
mv $name/* $out
cat > "$out/bin/jing" <<EOF
#! $SHELL
export JAVA_HOME="$jre"
exec "$jre/bin/java" -jar "$out/bin/jing.jar" "\$@"
EOF
chmod a+x "$out/bin/jing"

View File

@ -2236,8 +2236,6 @@ in
jhead = callPackage ../tools/graphics/jhead { };
jing = callPackage ../tools/text/xml/jing { };
jmespath = callPackage ../development/tools/jmespath { };
jmtpfs = callPackage ../tools/filesystems/jmtpfs { };