jing-trang: use jre_headless

This halves its closure size.

authored by Linus Heckemann and committed by Franz Pletz 3c3a25ac c7abd694

+3 -3
+3 -3
pkgs/tools/text/xml/jing-trang/default.nix
··· 1 - { stdenv, fetchFromGitHub, jre, jdk, ant, saxon }: 1 + { stdenv, fetchFromGitHub, jre_headless, jdk, ant, saxon }: 2 2 3 3 stdenv.mkDerivation rec { 4 4 name = "jing-trang-${version}"; ··· 22 22 for tool in jing trang; do 23 23 cat > "$out/bin/$tool" <<EOF 24 24 #! $SHELL 25 - export JAVA_HOME='${jre}' 26 - exec '${jre}/bin/java' -jar '$out/share/java/$tool.jar' "\$@" 25 + export JAVA_HOME='${jre_headless}' 26 + exec '${jre_headless}/bin/java' -jar '$out/share/java/$tool.jar' "\$@" 27 27 EOF 28 28 done 29 29