equal
deleted
inserted
replaced
258 # minimal Isabelle environment |
258 # minimal Isabelle environment |
259 |
259 |
260 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)" |
260 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)" |
261 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
261 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
262 |
262 |
|
263 COMPONENT="$ISABELLE_HOME/contrib/""" + jdk_component + """" |
|
264 source "$COMPONENT/etc/settings" |
|
265 |
263 |
266 |
264 # Java runtime options |
267 # Java runtime options |
265 |
268 |
266 declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options")) |
269 declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options")) |
267 |
270 |
269 # main |
272 # main |
270 |
273 |
271 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
274 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
272 unset XMODIFIERS |
275 unset XMODIFIERS |
273 |
276 |
274 exec "$ISABELLE_HOME/contrib/""" + jdk_component + """/x86_64-linux/jre/bin/java" \ |
277 exec "$ISABELLE_JDK_HOME/bin/java" \ |
275 "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ |
278 "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ |
276 -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \ |
279 -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \ |
277 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
280 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
278 isabelle.Main "$@" |
281 isabelle.Main "$@" |
279 """ |
282 """ |