aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Jacques-Pascal Deplaix <jp.deplaix@gmail.com>2017-12-21 11:58:14 +0000
committerGravatar Jacques-Pascal Deplaix <jp.deplaix@gmail.com>2017-12-23 18:54:55 +0000
commit569347abdd64ddd20d3fe8b9ac712d566ccf8ea9 (patch)
tree9c3cf031f080a4de81d85394ea45f64f0de9a5c7 /tools
parentdea75d74c222c25f6aa6c38506ac7a51b339e9c6 (diff)
Replace md5sum/md5 calls by an OCaml program
Diffstat (limited to 'tools')
-rw-r--r--tools/md5sum.ml10
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/md5sum.ml b/tools/md5sum.ml
new file mode 100644
index 000000000..d6cac9377
--- /dev/null
+++ b/tools/md5sum.ml
@@ -0,0 +1,10 @@
+let () =
+ match Sys.argv with
+ | [|_; file|] ->
+ let md5 = Digest.to_hex (Digest.file file) in
+ print_endline (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.";
+ exit 1