| author | wenzelm |
| Mon, 09 Apr 2012 17:38:39 +0200 | |
| changeset 47405 | 559b44b5164c |
| parent 47113 | b5a5662528fb |
| 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 |