-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.Unit (set_b quiet_compilation), "Turn off verbose compilation";
- "-preserve", Arg.Unit (set_b dont_delete_baseuri),
- "Turns off automatic baseuri cleaning"
-]
-let usage =
- sprintf "MatitaC v%s\nUsage: matitac [option ...] file\nOptions:"
- BuildTimeConf.version