Set $TOOLS_HOME when necessary.

alaric27 · Dec 6, 2023 · 96efa3a · 96efa3a
1 parent fb02ab0
commit 96efa3a
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/vm/ci/ci_common/common.jsonnet b/vm/ci/ci_common/common.jsonnet
@@ -264,10 +264,17 @@ local devkits = graal_common.devkits;
       local java_deps(edition) = {
         downloads+: {
           JAVA_HOME: graal_common.jdks_data['labsjdk-' + edition + '-' + java_version],
-        } + if (os == 'linux' || os == 'darwin') && (arch == 'amd64') && (java_version != 'latest') then {
+        } + (
+          if (os == 'linux' || os == 'darwin') && (arch == 'amd64') && (java_version != 'latest') then {
             LLVM_JAVA_HOME: graal_common.jdks_data['labsjdk-' + edition + '-' + java_version + '-llvm'],
-        } else {
-        }
+          } else {
+          }
+        ) + (
+          if (java_version == 'latest') then {
+            TOOLS_JAVA_HOME: graal_common.jdks_data['oraclejdk21'],
+          } else {
+          }
+        )
       };
 
       if (os == 'linux') then