mucommander: use latest JDK

Upstream recommends using JRE 17.
This commit is contained in:
Robert Schütz 2022-11-25 17:11:13 -08:00
parent 5bb01fc844
commit bfd0306a32

View File

@ -5,7 +5,7 @@
, perl , perl
, makeWrapper , makeWrapper
, writeText , writeText
, jdk11 , jdk
, gsettings-desktop-schemas , gsettings-desktop-schemas
}: }:
@ -96,7 +96,7 @@ stdenv.mkDerivation rec {
makeWrapper $out/share/mucommander/mucommander.sh $out/bin/mucommander \ makeWrapper $out/share/mucommander/mucommander.sh $out/bin/mucommander \
--prefix XDG_DATA_DIRS : ${gsettings-desktop-schemas}/share/gsettings-schemas/${gsettings-desktop-schemas.name} \ --prefix XDG_DATA_DIRS : ${gsettings-desktop-schemas}/share/gsettings-schemas/${gsettings-desktop-schemas.name} \
--set JAVA_HOME ${jdk11} --set JAVA_HOME ${jdk}
''; '';
meta = with lib; { meta = with lib; {