equal
deleted
inserted
replaced
14 |
14 |
15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" |
15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" |
16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
17 |
17 |
18 unset ISABELLE_SETTINGS_PRESENT |
18 unset ISABELLE_SETTINGS_PRESENT |
|
19 unset ISABELLE_SITE_SETTINGS_PRESENT |
19 |
20 |
20 |
21 |
21 ## main |
22 ## main |
22 |
23 |
|
24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars |
|
25 |
23 CLASSPATH="$(jvmpath "$CLASSPATH")" |
26 CLASSPATH="$(jvmpath "$CLASSPATH")" |
24 |
|
25 exec "$ISABELLE_JAVA" \ |
27 exec "$ISABELLE_JAVA" \ |
26 "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ |
28 "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ |
27 -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@" |
29 -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@" |