From 1133c069f81f49ad808b962888bf05911eb0f322 Mon Sep 17 00:00:00 2001
From: Daniel Langbein <daniel@systemli.org>
Date: Tue, 7 Jan 2025 17:26:25 +0000
Subject: [PATCH] shell.nix: fix JDK23

---
 shell.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/shell.nix b/shell.nix
index ae27378..b04b53a 100644
--- a/shell.nix
+++ b/shell.nix
@@ -31,7 +31,11 @@ let
   };
 
   jdk = unstable.jdk23;
-  gradle = unstable.gradle;
+  gradle = unstable.gradle.override {
+    java = jdk;
+    # Required for `gradle javaToolchains` to list JDK23
+    javaToolchains = [ jdk ];
+  };
 in
 
 (