| author | wenzelm |
| Sat, 24 Mar 2012 20:24:16 +0100 | |
| changeset 47113 | b5a5662528fb |
| parent 40790 | cd7b17ba502b |
| child 47440 | 22086019167b |
| permissions | -rw-r--r-- |
|
47113
b5a5662528fb
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
wenzelm
parents:
40790
diff
changeset
|
1 |
# -*- shell-script -*- :mode=shellscript: |
|
b5a5662528fb
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
wenzelm
parents:
40790
diff
changeset
|
2 |
|
|
b5a5662528fb
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
wenzelm
parents:
40790
diff
changeset
|
3 |
ISABELLE_JDK_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jdk1.7.0_03"
|
|
b5a5662528fb
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
wenzelm
parents:
40790
diff
changeset
|
4 |