src/Pure/Tools/build.ML
changeset 63827 b24d0e53dd03
parent 62930 51ac6bc389e8
child 64308 b00508facb4f
equal deleted inserted replaced
63826:9321b3d50abd 63827:b24d0e53dd03
   104   let
   104   let
   105     val condition = space_explode "," (Options.string options "condition");
   105     val condition = space_explode "," (Options.string options "condition");
   106     val conds = filter_out (can getenv_strict) condition;
   106     val conds = filter_out (can getenv_strict) condition;
   107   in
   107   in
   108     if null conds then
   108     if null conds then
   109       (Options.set_default options;
   109       (if Options.bool options "checkpoint" then ML_Heap.share_common_data () else ();
       
   110         Options.set_default options;
   110         Isabelle_Process.init_options ();
   111         Isabelle_Process.init_options ();
   111         (Thy_Info.use_theories {
   112         (Thy_Info.use_theories {
   112           document = Present.document_enabled (Options.string options "document"),
   113           document = Present.document_enabled (Options.string options "document"),
   113           symbols = symbols,
   114           symbols = symbols,
   114           last_timing = last_timing,
   115           last_timing = last_timing,