equal
deleted
inserted
replaced
|
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 |