Passing command-line option async_proofs_worker_priority functionally.

We lose track of it at some time in "known_state" and assume that the
reference cur_opt has not been modified in between the time it was set
(in "new_doc") and "known_state".

1 files changed, 8 insertions, 3 deletions

diff --git a/ide/idetop.ml b/ide/idetop.ml
index c7638343b0..f39c59f5d8 100644
--- a/ide/idetop.ml
+++ b/ide/idetop.ml
@@ -563,8 +563,13 @@ let islave_parse ~opts extra_args =
   print_string (String.concat "\n" extra_args);
   run_mode, []
 
-let islave_init ~opts =
-  CoqworkmgrApi.(init High)
+let islave_init ~opts = ()
+
+let islave_default_opts =
+  Coqargs.{ default with
+    config = { default.config with
+      stm_flags = { default.config.stm_flags with
+         Stm.AsyncOpts.async_proofs_worker_priority = CoqworkmgrApi.High }}}
 
 let () =
   let open Coqtop in
@@ -573,5 +578,5 @@ let () =
       help = (fun _ -> output_string stderr "Same options as coqtop");
       init = islave_init;
       run = loop;
-      opts = Coqargs.default } in
+      opts = islave_default_opts } in
   start_coq custom