|
60995
|
1 |
# -*- shell-script -*- :mode=shellscript:
|
|
|
2 |
|
|
|
3 |
case "$ISABELLE_PLATFORM_FAMILY" in
|
|
|
4 |
linux)
|
|
|
5 |
ISABELLE_JAVA_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
|
|
|
6 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
|
|
|
7 |
;;
|
|
|
8 |
windows)
|
|
|
9 |
if [ ! -e "$COMPONENT/x86_64-windows" ]; then
|
|
|
10 |
ISABELLE_JAVA_PLATFORM="x86-windows"
|
|
|
11 |
elif "$COMPONENT/x86_64-windows/jre/bin/java" -version > /dev/null 2> /dev/null; then
|
|
|
12 |
ISABELLE_JAVA_PLATFORM="x86_64-windows"
|
|
|
13 |
else
|
|
|
14 |
ISABELLE_JAVA_PLATFORM="x86-windows"
|
|
|
15 |
fi
|
|
|
16 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
|
|
|
17 |
;;
|
|
|
18 |
macos)
|
|
|
19 |
if [ -z "$ISABELLE_PLATFORM64" ]; then
|
|
|
20 |
echo "### Java unavailable on 32bit Mac OS X" >&2
|
|
|
21 |
else
|
|
|
22 |
ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64"
|
|
|
23 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM/Contents/Home"
|
|
|
24 |
fi
|
|
|
25 |
;;
|
|
|
26 |
esac
|