privatevoid.net/depot
1
1
Fork 0
Code Issues 23 Pull requests 2 Projects 3 Releases Packages Wiki Activity Actions

packages/jre17_standard: provide meta.platforms

Browse source
This commit is contained in:
Max Headroom 2022-05-27 18:30:02 +02:00
parent ce7c30c832
commit 6195760e2d
1 changed files with 11 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
packages/patched-derivations.nix
View file

@ -19,13 +19,15 @@ super: rec {
disallowedReferences = [ super.stdenv.cc.cc ];
});
jre17_standard = super.jre_minimal.override {
jdk = super.jdk17_headless;
modules = [
"java.se"
"jdk.naming.dns"
"jdk.crypto.ec"
"jdk.zipfs"
];
};
jre17_standard = let
jre = super.jre_minimal.override {
jdk = super.jdk17_headless;
modules = [
"java.se"
"jdk.naming.dns"
"jdk.crypto.ec"
"jdk.zipfs"
];
};
in jre // { meta = jre.meta // { inherit (super.jdk17_headless.meta) platforms; }; };
}