# HG changeset patch # User wenzelm # Date 1708512210 -3600 # Node ID df1059ea8846f1dabf56dbf726f0a4adec1dc266 # Parent 0b58e85906a1a392dea9654dbb3dbe167490ac69 propagate property "isabelle.debug", notably for Java/Scala exception trace; diff -r 0b58e85906a1 -r df1059ea8846 src/Pure/Build/build_cluster.scala --- a/src/Pure/Build/build_cluster.scala Mon Feb 19 16:25:06 2024 +0100 +++ b/src/Pure/Build/build_cluster.scala Wed Feb 21 11:43:30 2024 +0100 @@ -189,7 +189,9 @@ remote_isabelle } - def init(): Unit = remote_isabelle.init() + def init(): Unit = + remote_isabelle.init(other_settings = + remote_isabelle.init_components() ::: remote_isabelle.debug_settings()) def benchmark(): Unit = { val script = diff -r 0b58e85906a1 -r df1059ea8846 src/Pure/System/other_isabelle.scala --- a/src/Pure/System/other_isabelle.scala Mon Feb 19 16:25:06 2024 +0100 +++ b/src/Pure/System/other_isabelle.scala Wed Feb 21 11:43:30 2024 +0100 @@ -147,6 +147,14 @@ else error("Cannot proceed with existing user settings file: " + etc_settings) } + def debug_settings(): List[String] = { + val debug = System.getProperty("isabelle.debug", "") == "true" + if (debug) { + List("ISABELLE_JAVA_SYSTEM_OPTIONS=\"$ISABELLE_JAVA_SYSTEM_OPTIONS -Disabelle.debug=true\"") + } + else Nil + } + /* init */