# HG changeset patch # User wenzelm # Date 1609869065 -3600 # Node ID f0180048d5ff874e8b44aeff97954c8925cdb934 # Parent 0b0c651e823f745df3268b811da60371f4ef7d0a updated according to ~~/etc/settings; tuned; diff -r 0b0c651e823f -r f0180048d5ff src/Pure/Admin/build_release.scala --- a/src/Pure/Admin/build_release.scala Tue Jan 05 18:27:43 2021 +0100 +++ b/src/Pure/Admin/build_release.scala Tue Jan 05 18:51:05 2021 +0100 @@ -260,20 +260,21 @@ ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)" source "$ISABELLE_HOME/lib/scripts/isabelle-platform" +#paranoia settings -- avoid intrusion of alien options +unset "_JAVA_OPTIONS" +unset "JAVA_TOOL_OPTIONS" + +#paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc. +unset XMODIFIERS + COMPONENT="$ISABELLE_HOME/contrib/""" + jdk_component + """" source "$COMPONENT/etc/settings" -# Java runtime options +# main declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options")) - -# main - -#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. -unset XMODIFIERS - exec "$ISABELLE_JDK_HOME/bin/java" \ "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \