Fix jdk home on macos

timfel · timfel · commit d64b2e4794fb · 2025-05-12T09:37:12.000+02:00
diff --git a/mx.graalpython/mx_graalpython.py b/mx.graalpython/mx_graalpython.py
@@ -704,7 +704,9 @@ def graalvm_jdk():
     if graal_jdk_home:
         graal_jdk_home = os.path.abspath(glob.glob(graal_jdk_home)[0])
         if sys.platform == "darwin":
-            graal_jdk_home = os.path.join(graal_jdk_home, 'Contents', 'Home')
+            jdk_home_subdir = os.path.join(graal_jdk_home, 'Contents', 'Home')
+            if os.path.exists(jdk_home_subdir):
+               graal_jdk_home = jdk_home_subdir
         mx.log("Using Graal from GRAAL_JDK_HOME: " + graal_jdk_home)
 
         # Try to verify that we're getting what we expect:
