- (** 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 =
- 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
-