src/Pure/Tools/build.ML
changeset 62714 63888e5f668b
parent 62713 c18a68a3a1f1
child 62715 8312e5d8d217
     1.1 --- a/src/Pure/Tools/build.ML	Sat Mar 26 13:41:14 2016 +0100
     1.2 +++ b/src/Pure/Tools/build.ML	Sat Mar 26 14:14:23 2016 +0100
     1.3 @@ -104,17 +104,14 @@
     1.4    in
     1.5      if null conds then
     1.6        (Options.set_default options;
     1.7 +        Isabelle_Process.init_options ();
     1.8          (Thy_Info.use_theories {
     1.9            document = Present.document_enabled (Options.string options "document"),
    1.10            symbols = symbols,
    1.11            last_timing = last_timing,
    1.12            master_dir = master_dir}
    1.13          |> Unsynchronized.setmp print_mode
    1.14 -            (space_explode "," (Options.string options "print_mode") @ print_mode_value ())
    1.15 -        |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs")
    1.16 -        |> Multithreading.max_threads_setmp (Options.int options "threads")
    1.17 -        |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
    1.18 -        |> Unsynchronized.setmp Future.ML_statistics true) thys)
    1.19 +            (space_explode "," (Options.string options "print_mode") @ print_mode_value ())) thys)
    1.20      else
    1.21        Output.physical_stderr ("Skipping theories " ^ commas_quote (map #1 thys) ^
    1.22          " (undefined " ^ commas conds ^ ")\n")