Add use_network option parser to driver

[happyabc/happyabc.git] / driver / cmdOpt.mli

diff --git a/driver/cmdOpt.mli b/driver/cmdOpt.mli
index 73275c2..91b08a7 100644 (file)
--- a/driver/cmdOpt.mli
+++ b/driver/cmdOpt.mli
@@ -1,16 +1,29 @@
-type scm = { scm_cmd : string; includes : string; }
-type abc = { abc_cmd : string; }
-type abcx = { template : string; size : int * int; bg_color : string; }
-type swfx = { swfx_cmd : string; }
-type general = { verbose : bool; just_print: bool; }
+type scm = {
+  scm_cmd : string;
+  includes : string;
+  link_std:bool
+}
+
+type link = {
+  link_cmd : string;
+  size : int * int;
+  bg_color : Color.t;
+  libs : string list;
+  use_network: bool
+}
+
+type general = {
+  verbose : bool;
+  just_print: bool;
+  keep_files: bool;
+}
+
 type t = {
   inputs : string list;
   output : string;
   general : general;
   scm : scm;
-  abc : abc;
-  abcx : abcx;
-  swfx : swfx;
+  link : link;
 }
 
-val parse : unit -> t
+val parse : string array -> t