equal
deleted
inserted
replaced
108 } |
108 } |
109 else "Isabelle_Process.init ()") |
109 else "Isabelle_Process.init ()") |
110 |
110 |
111 // ISABELLE_TMP |
111 // ISABELLE_TMP |
112 val isabelle_tmp = Isabelle_System.tmp_dir("process") |
112 val isabelle_tmp = Isabelle_System.tmp_dir("process") |
113 val env_tmp = Map("ISABELLE_TMP" -> File.standard_path(isabelle_tmp)) |
113 val env_tmp = |
|
114 Map("ISABELLE_TMP" -> File.standard_path(isabelle_tmp), |
|
115 "POLYSTATSDIR" -> isabelle_tmp.getAbsolutePath) |
114 |
116 |
115 val env_functions = Map("ISABELLE_SCALA_FUNCTIONS" -> Scala.functions.mkString(",")) |
117 val env_functions = Map("ISABELLE_SCALA_FUNCTIONS" -> Scala.functions.mkString(",")) |
116 |
118 |
117 val ml_runtime_options = |
119 val ml_runtime_options = |
118 { |
120 { |