From 3c3a25acc5ccc7685b8f31db97cd8dbcd6c62cfe Mon Sep 17 00:00:00 2001
From: Linus Heckemann <git@sphalerite.org>
Date: Wed, 7 Jun 2017 13:09:48 +0100
Subject: [PATCH] jing-trang: use jre_headless
This halves its closure size.
---
pkgs/tools/text/xml/jing-trang/default.nix | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/pkgs/tools/text/xml/jing-trang/default.nix b/pkgs/tools/text/xml/jing-trang/default.nix
index 4c4f6ed7e19c..162f7e1a397b 100644
--- a/pkgs/tools/text/xml/jing-trang/default.nix
+++ b/pkgs/tools/text/xml/jing-trang/default.nix
@@ -1,4 +1,4 @@
-{ stdenv, fetchFromGitHub, jre, jdk, ant, saxon }:
+{ stdenv, fetchFromGitHub, jre_headless, jdk, ant, saxon }:
stdenv.mkDerivation rec {
name = "jing-trang-${version}";
@@ -22,8 +22,8 @@ stdenv.mkDerivation rec {
for tool in jing trang; do
cat > "$out/bin/$tool" <<EOF
#! $SHELL
- export JAVA_HOME='${jre}'
- exec '${jre}/bin/java' -jar '$out/share/java/$tool.jar' "\$@"
+ export JAVA_HOME='${jre_headless}'
+ exec '${jre_headless}/bin/java' -jar '$out/share/java/$tool.jar' "\$@"
EOF
done