48156
|
1 |
# -*- shell-script -*- :mode=shellscript:
|
|
2 |
|
|
3 |
case "$ISABELLE_PLATFORM" in
|
|
4 |
*-darwin)
|
|
5 |
ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)"
|
|
6 |
;;
|
|
7 |
*)
|
|
8 |
ISABELLE_JDK_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jdk1.6.0_31"
|
|
9 |
;;
|
|
10 |
esac
|