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
---
 lib/flags.ml  | 1 +
 lib/flags.mli | 1 +
 2 files changed, 2 insertions(+)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index cff86dbbb4..43ebe1491a 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -46,6 +46,7 @@ let boot = ref false
 let batch_mode = ref false
 
 let ide_slave_mode = ref false
+let coq_slave_mode = ref (-1)
 
 let debug = ref false
 
diff --git a/lib/flags.mli b/lib/flags.mli
index 4908d4a484..a5abca7a9f 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -13,6 +13,7 @@ val boot : bool ref
 val batch_mode : bool ref
 
 val ide_slave_mode : bool ref
+val coq_slave_mode : int ref
 
 val debug : bool ref
 
-- 
cgit v1.2.3