changeset 67490 | 982f0bf34804 |
parent 63574 | 4ea48cbc54c1 |
child 67492 | 954f44210b92 |
--- a/Admin/Linux/Isabelle.run Mon Jan 22 22:45:45 2018 +0100 +++ b/Admin/Linux/Isabelle.run Tue Jan 23 16:37:57 2018 +0100 @@ -34,6 +34,7 @@ exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \ "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ + "-Djava.ext.dirs=$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/lib/ext" \ -classpath "{CLASSPATH}" \ "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ isabelle.Main "$@"