--- a/src/Pure/Admin/component_jdk.scala Tue Jan 30 22:43:10 2024 +0100
+++ b/src/Pure/Admin/component_jdk.scala Wed Jan 31 12:43:06 2024 +0100
@@ -91,15 +91,15 @@
component_dir.write_settings("""
case "$ISABELLE_PLATFORM_FAMILY" in
- linux)
+ linux*)
ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64"
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
;;
- windows)
+ windows*)
ISABELLE_JAVA_PLATFORM="$ISABELLE_WINDOWS_PLATFORM64"
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
;;
- macos)
+ macos*)
if [ -n "$ISABELLE_APPLE_PLATFORM64" -a -d "$COMPONENT/$ISABELLE_APPLE_PLATFORM64" ]
then
ISABELLE_JAVA_PLATFORM="$ISABELLE_APPLE_PLATFORM64"