--- a/src/Pure/System/isabelle_process.ML Fri Mar 11 17:20:14 2016 +0100
+++ b/src/Pure/System/isabelle_process.ML Sat Mar 12 20:17:37 2016 +0100
@@ -12,6 +12,8 @@
val crashes: exn list Synchronized.var
val init_protocol: string -> unit
val init_options: unit -> unit
+ val init_build_options: unit -> unit
+ val init_protocol_options: Options.T -> unit
end;
structure Isabelle_Process: ISABELLE_PROCESS =
@@ -213,4 +215,13 @@
Multithreading.max_threads_update (Options.default_int "threads");
Goal.parallel_proofs := Options.default_int "parallel_proofs");
+fun init_build_options () =
+ (Options.load_default ();
+ init_options ());
+
+fun init_protocol_options options =
+ (Options.set_default options;
+ init_options ();
+ Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0));
+
end;