--- a/Admin/java/settings Sat Jan 21 20:59:47 2017 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-# -*- 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