aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/md5sum.ml
blob: 2fdcacc8398f399d20d41f6912670dbf5031372c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
let get_content file =
  let ic = open_in_bin file in
  let buf = Buffer.create 2048 in
  let rec fill () =
    match input_char ic with
    | '\r' -> fill () (* NOTE: handles the case on Windows where the
                         git checkout has included return characters.
                         See: https://github.com/coq/coq/pull/6305 *)
    | c -> Buffer.add_char buf c; fill ()
    | exception End_of_file -> close_in ic; Buffer.contents buf
  in
  fill ()

let () =
  match Sys.argv with
  | [|_; file|] ->
      let content = get_content file in
      let md5 = Digest.to_hex (Digest.string content) in
      print_string (md5 ^ " " ^ file)
  | _ ->
      prerr_endline "Error: This program needs exactly one parameter.";
      prerr_endline "Usage: ocaml md5sum.ml <FILE>";
      prerr_endline "Print MD5 (128-bit) checksum of the file content modulo \\r.";
      exit 1