src/Pure/Tools/build.scala
changeset 69777 1df241e340c8
parent 69744 bb0a354f6b46
child 69811 18f61ce86425
equal deleted inserted replaced
69776:f646759090ce 69777:1df241e340c8
   231           Isabelle_System.settings() +
   231           Isabelle_System.settings() +
   232             ("ISABELLE_EXPORT_TMP" -> File.standard_path(export_tmp_dir)) +
   232             ("ISABELLE_EXPORT_TMP" -> File.standard_path(export_tmp_dir)) +
   233             ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)
   233             ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)
   234 
   234 
   235         def save_heap: String =
   235         def save_heap: String =
   236           (if (info.theories.isEmpty) ""
   236           (if (info.theories.isEmpty) "" else "ML_Heap.share_common_data (); ") +
   237            else """cond_timeit true "share_common_data" ML_Heap.share_common_data; """) +
       
   238             "ML_Heap.save_child " +
   237             "ML_Heap.save_child " +
   239             ML_Syntax.print_string_bytes(File.platform_path(store.output_heap(name)))
   238             ML_Syntax.print_string_bytes(File.platform_path(store.output_heap(name)))
   240 
   239 
   241         if (pide && !Sessions.is_pure(name)) {
   240         if (pide && !Sessions.is_pure(name)) {
   242           val resources = new Resources(deps(parent))
   241           val resources = new Resources(deps(parent))