-let paths_to_search_in = ref [];;
-
-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";
-]
-let usage =
- Printf.sprintf "MatitaDep v%s\nUsage: matitadep [options] file...\nOptions:"
- BuildTimeConf.version
-