From bab9baefceedda169095ddcc16df47d35b2f6af3 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 8 Aug 2013 18:53:05 +0000
Subject: stm: (initial) support for -coq-slaves

Stm contains many TODO items to improve the thing, but it should
be already possible to play with it (but not use it in production).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16684 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coq.ml b/ide/coq.ml
index b9b7c1d456..fa2f2dcf35 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -444,7 +444,8 @@ let install_input_watch handle respawner feedback_processor =
 (** This launches a fresh handle from its command line arguments. *)
 let spawn_handle args =
   let prog = coqtop_path () in
-  let args = Array.of_list (prog :: "-ideslave" :: args) in
+  let args = Array.of_list (
+    prog :: "-coq-slaves" :: "on" :: "-ideslave" :: args) in
   let pid, ic, gic, oc, close_channels = open_process_pid prog args in
   let xml_ic = Xml_parser.make (Xml_parser.SChannel ic) in
   let xml_oc = Xml_printer.make (Xml_printer.TChannel oc) in
-- 
cgit v1.2.3