Admin/java/settings

more operations (see also properties.ML);

# -*- shell-script -*- :mode=shellscript:

case "$ISABELLE_PLATFORM_FAMILY" in
  linux)
    ISABELLE_JAVA_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
    ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
    ;;
  windows)
    if [ ! -e "$COMPONENT/x86_64-windows" ]; then
      ISABELLE_JAVA_PLATFORM="x86-windows"
    elif "$COMPONENT/x86_64-windows/jre/bin/java" -version > /dev/null 2> /dev/null; then
      ISABELLE_JAVA_PLATFORM="x86_64-windows"
    else
      ISABELLE_JAVA_PLATFORM="x86-windows"
    fi
    ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
    ;;
  macos)
    if [ -z "$ISABELLE_PLATFORM64" ]; then
      echo "### Java unavailable on 32bit Mac OS X" >&2
    else
      ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64"
      ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM/Contents/Home"
    fi
    ;;
esac