jetbrains: set JDK for JetBrains Client

This commit is contained in:
Steven Kou 2022-10-09 02:27:38 +08:00
parent ca7c983462
commit 2b387a08cc
No known key found for this signature in database
GPG Key ID: D0D4BCFA8DB68E35

View File

@ -80,6 +80,7 @@ with stdenv; lib.makeOverridable mkDerivation (rec {
--set-default JDK_HOME "$jdk" \
--set-default ANDROID_JAVA_HOME "$jdk" \
--set-default JAVA_HOME "$jdk" \
--set-default JETBRAINSCLIENT_JDK "$jdk" \
--set ${hiName}_JDK "$jdk" \
--set ${hiName}_VM_OPTIONS ${vmoptsFile}