From 2bdfddc39d1fd6200042ddb95ded98b44e14b8e5 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 10 May 2019 11:24:51 +0200
Subject: 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".
---
 ide/idetop.ml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'ide')

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
-- 
cgit v1.2.3