update to cmdliner 1.1.0

mirage · Apr 6, 2022 · 687e799 · 687e799
1 parent 1871eea
commit 687e799
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/bin/pipe.ml b/bin/pipe.ml
@@ -184,14 +184,16 @@ let format =
 
 let command =
   let doc = "Pipe." in
-  let exits = Term.default_exits in
   let man =
     [
       `S Manpage.s_description
     ; `P
         "$(tname) reads from standard input and writes the \
          compressed/decompressed data to standard output."
     ] in
-  Term.(ret (const run $ deflate $ format)), Term.info "pipe" ~exits ~doc ~man
+  let term = Term.(ret (const run $ deflate $ format))
+  and info = Cmd.info "pipe" ~doc ~man
+  in
+  Cmd.v info term
 
-let () = Term.(exit_status @@ eval command)
+let () = exit (Cmd.eval' command)
diff --git a/decompress.opam b/decompress.opam
@@ -21,7 +21,7 @@ depends: [
   "dune"        {>= "2.8.0"}
   "base-bytes"
   "bigarray-compat"
-  "cmdliner"    {>= "1.0.0"}
+  "cmdliner"    {>= "1.1.0"}
   "optint"      {>= "0.1.0"}
   "checkseum"   {>= "0.2.0"}
   "bigstringaf" {with-test}