src/Pure/Tools/ml_process.scala
changeset 62672 068b430e678f
parent 62668 360d3464919c
child 62677 0df43889f496
equal deleted inserted replaced
62671:a9ee1f240b81 62672:068b430e678f
    66     val env_options = Map("ISABELLE_PROCESS_OPTIONS" -> File.standard_path(isabelle_process_options))
    66     val env_options = Map("ISABELLE_PROCESS_OPTIONS" -> File.standard_path(isabelle_process_options))
    67     val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()")
    67     val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()")
    68 
    68 
    69     val eval_process =
    69     val eval_process =
    70       if (heaps.isEmpty)
    70       if (heaps.isEmpty)
    71         List("PolyML.print_depth 10")
    71         List("PolyML.print_depth 20")
    72       else
    72       else
    73         channel match {
    73         channel match {
    74           case None =>
    74           case None =>
    75             List("(ML_Pretty.print_depth 10; Isabelle_Process.init_options ())")
    75             List("(ML_Pretty.print_depth 20; Isabelle_Process.init_options ())")
    76           case Some(ch) =>
    76           case Some(ch) =>
    77             List("(ML_Pretty.print_depth 10; Isabelle_Process.init_protocol " +
    77             List("(ML_Pretty.print_depth 20; Isabelle_Process.init_protocol " +
    78               ML_Syntax.print_string0(ch.server_name) + ")")
    78               ML_Syntax.print_string0(ch.server_name) + ")")
    79         }
    79         }
    80 
    80 
    81     // ISABELLE_TMP
    81     // ISABELLE_TMP
    82     val isabelle_tmp = Isabelle_System.tmp_dir("process")
    82     val isabelle_tmp = Isabelle_System.tmp_dir("process")