Index: otags.ml =================================================================== RCS file: /sun/theorie/tews/Privat/Store/Otags/otags.ml,v retrieving revision 1.1.1.6 diff -c -r1.1.1.6 otags.ml *** otags.ml 27 Aug 2003 07:49:39 -0000 1.1.1.6 --- otags.ml 27 Aug 2003 08:23:42 -0000 *************** *** 36,42 **** end (* Parsing arguments *) ! let verbose, output, recursive, editor, targets, suffixes, camlp4, parsers, with_quotations = let rverbose = ref false in let routput = ref "" in let rrecursive = ref false in --- 36,42 ---- end (* Parsing arguments *) ! let verbose, output, recursive, editor, targets, suffixes, camlp4, parsers, with_quotations, mli_only_module = let rverbose = ref false in let routput = ref "" in let rrecursive = ref false in *************** *** 53,58 **** --- 53,60 ---- let rquotation = ref false in + let rmli_only_module = ref false in + let usage = [ ("-v", Arg.Set rverbose, " verbose, display debug messages"); ("-o", Arg.String ((:=) routput), " output tags file (default: TAGS) (use - for standard output)"); *************** *** 66,71 **** --- 68,75 ---- ("-camlp4", Arg.String ((:=) rcamlp4), " camlp4 command (default: camlp4)"); ("-pa", Arg.String add_parser, " add camlp4 parser (default: pa_o.cmo; pa_op.cmo)"); ("-q", Arg.Set rquotation, " accept quotations in input"); + ("-mli-only-module", Arg.Set rmli_only_module, + " generate only the module tag for interfaces"); ("-version", Arg.Unit print_version, " display otags version number"); ] in Arg.parse usage add_target "Available commands:"; *************** *** 81,91 **** else !routput in !rverbose, output, !rrecursive, !reditor, ! targets (), Suffix.contents (), !rcamlp4, parsers, !rquotation let camlp4_libs pr_tags = parsers @ [ pr_tags ] ! let camlp4_options () = if with_quotations then ["-with-quotations"] else [] let debug prog args ofile = if verbose then begin --- 85,99 ---- else !routput in !rverbose, output, !rrecursive, !reditor, ! targets (), Suffix.contents (), !rcamlp4, parsers, !rquotation, ! !rmli_only_module let camlp4_libs pr_tags = parsers @ [ pr_tags ] ! let camlp4_options () = ! (if with_quotations then ["-with-quotations"] else []) ! @ ! (if mli_only_module then ["-mli-only-module"] else []) let debug prog args ofile = if verbose then begin Index: pr.ml =================================================================== RCS file: /sun/theorie/tews/Privat/Store/Otags/pr.ml,v retrieving revision 1.1.1.5 diff -c -r1.1.1.5 pr.ml *** pr.ml 27 Aug 2003 07:49:39 -0000 1.1.1.5 --- pr.ml 27 Aug 2003 08:50:02 -0000 *************** *** 198,203 **** --- 198,207 ---- let _ = Plexer.no_quotations := true let _ = Pcaml.add_option "-with-quotations" (Arg.Clear Plexer.no_quotations) "Enable quotation parsing" + + let _ = Pcaml.add_option "-mli-only-module" + (Arg.Unit (fun () -> Pcaml.print_interf := (fun _ -> ()))) + "do not process interface content" end