mindustry: fix build by downgrading jdk

This commit is contained in:
Sandro Jäckel 2024-03-20 00:13:51 +01:00 committed by Weijia Wang
parent 28d26bbc63
commit 16004d8546

View file

@ -4,7 +4,7 @@
, copyDesktopItems , copyDesktopItems
, fetchFromGitHub , fetchFromGitHub
, gradle , gradle
, jdk , jdk17
, perl , perl
# for arc # for arc
@ -40,6 +40,7 @@ let
version = "146"; version = "146";
buildVersion = makeBuildVersion version; buildVersion = makeBuildVersion version;
jdk = jdk17;
gradleWithJdk = gradle.override { java = jdk; }; gradleWithJdk = gradle.override { java = jdk; };
selectedGlew = if enableWayland then glew-egl else glew; selectedGlew = if enableWayland then glew-egl else glew;