splitted command line arguments among debugging and non-debugging so that when BuildT...

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index f7855ac8cc089e77bb5ae05b093cf50585b39721..308dd95d2b8d0dd4263180076848f4a61753957e 100644 (file)
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -27,28 +27,34 @@ open Printf
 
 open MatitaTypes
 
-  (** If set to true matitac wont catch top level exception, so that backtrace
-   * could be inspected setting OCAMLRUNPARAM=b.
-   * This flag could be enabled passing -debug *)
-let debug = ref false
-
 (** {2 Initialization} *)
 
+  (** If set to true matitac wont catch top level exception, so that backtrace
+   * could be inspected setting OCAMLRUNPARAM=b.  This flag is enabled passing
+   * -debug *)
+let debug = ref false
 let paths_to_search_in = ref [];;
 let quiet_compilation = ref false;;
 let dont_delete_baseuri = ref false;;
 
 let add_l l = fun s -> l := s :: !l ;;
 
-let arg_spec = [
-  "-I", Arg.String (add_l paths_to_search_in), 
-    "<path> Adds path to the list of searched paths for the include command";
-  "-q", Arg.Set quiet_compilation, "Turn off verbose compilation";
-  "-preserve", Arg.Set dont_delete_baseuri,
-    "Turns off automatic baseuri cleaning";
-  "-debug", Arg.Set debug,
-    "Do not catch top-level exception (useful for backtrace inspection)";
-]
+let arg_spec =
+  let std_arg_spec = [
+    "-I", Arg.String (add_l paths_to_search_in), 
+      "<path> Adds path to the list of searched paths for the include command";
+    "-q", Arg.Set quiet_compilation, "Turn off verbose compilation";
+    "-preserve", Arg.Set dont_delete_baseuri,
+      "Turns off automatic baseuri cleaning";
+  ] in
+  let debug_arg_spec =
+    if BuildTimeConf.debug then
+      [ "-debug", Arg.Set debug,
+        "Do not catch top-level exception (useful for backtrace inspection)"; ]
+    else []
+  in
+  std_arg_spec @ debug_arg_spec
+
 let usage =
   sprintf "MatitaC v%s\nUsage: matitac [option ...] file\nOptions:"
     BuildTimeConf.version