matita/matita/contribs/lambdadelta/bin/recomm/mrc.ml

   1 module EI = MrcInput
   2 module EO = MrcOutput
   3
   4 let process file =
   5   if Sys.is_directory file then begin
   6     let st = EI.read_dir file in
   7     if st <> EI.read_index file then begin
   8       Printf.eprintf "indexing: %S\n" file;
   9       EO.write_index st
  10     end
  11   end else if Filename.extension file = ".mrc" then begin
  12     Printf.eprintf "processing: %S\n" file;
  13     EO.write_component (EI.read_file file)
  14   end else begin
  15     Printf.eprintf "skipping: %S\n" file
  16   end
  17
  18 let main =
  19   Arg.parse [
  20   ] process ""