all coqide specific files moved into ide/

lib/interface split into:
 - lib/feedback
     subscribe-based feedback bus (also used by coqidetop)
 - ide/interface
     definition of coqide protocol messages
   lib/pp
     structured info/err/warn messages

lib/serialize split into:
 - lib/serialize
     generic xml serialization (list, pairs, int, loc, ...)
     used by coqide but potentially useful to other interfaces
 - ide/xmlprotocol
     serialization of protocol messages as in ide/interface

the only drawback is that coqidetop needs -thread
and I had to pass that option to all files in ide/

1 files changed, 13 insertions, 4 deletions

diff --git a/library/goptions.ml b/library/goptions.ml
index 8402abd34..c348548e7 100644
--- a/library/goptions.ml
+++ b/library/goptions.ml
@@ -15,9 +15,19 @@ open Libobject
 open Libnames
 open Mod_subst
 
-open Interface
-
-type option_name = Interface.option_name
+type option_name = string list
+type option_value =
+  | BoolValue   of bool
+  | IntValue    of int option
+  | StringValue of string
+
+(** Summary of an option status *)
+type option_state = {
+  opt_sync  : bool;
+  opt_depr  : bool;
+  opt_name  : string;
+  opt_value : option_value;
+}
 
 (****************************************************************************)
 (* 0- Common things                                                         *)
@@ -354,7 +364,6 @@ let print_option_value key =
     | _ ->
 	msg_info (str ("Current value of "^name^" is ") ++ msg_option_value (name, s))
 
-
 let get_tables () =
   let tables = !value_tab in
   let fold key (name, depr, (sync,read,_,_,_)) accu =