From 6195760e2d2a21a81afb2a2c9036a59bbe2cded5 Mon Sep 17 00:00:00 2001
From: Max <max@privatevoid.net>
Date: Fri, 27 May 2022 18:30:02 +0200
Subject: [PATCH] packages/jre17_standard: provide meta.platforms

---
 packages/patched-derivations.nix | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/packages/patched-derivations.nix b/packages/patched-derivations.nix
index fc49f6f..b5b03ab 100644
--- a/packages/patched-derivations.nix
+++ b/packages/patched-derivations.nix
@@ -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; }; };
 }