blob: 7220993b008451e23a72ce9be024e9578aaefb0e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
--- src/bin/main.ml.orig 2024-08-15 00:57:27 UTC
+++ src/bin/main.ml
@@ -127,22 +127,21 @@ let () =
let exits =
List.map (fun code ->
let retcode, doc = Dolmen_loop.Code.descr code in
- Cmdliner.Cmd.Exit.info ~doc retcode
+ Cmdliner.Term.exit_info ~doc retcode
) (Dolmen_loop.Code.errors ())
- @ Cmdliner.Cmd.Exit.defaults
+ @ Cmdliner.Term.default_exits
in
- let cli_term = Cmdliner.Cmd.v
- (Cmdliner.Cmd.info "dolmen" ~exits ~man:Man.cli ~version)
- Options.cli
+ let cli_info =
+ (Cmdliner.Term.info "dolmen" ~exits ~man:Man.cli ~version)
in
- match Cmdliner.Cmd.eval_value cli_term with
- | Ok (`Version | `Help) ->
+ match Cmdliner.Term.eval (Options.cli, cli_info) with
+ | `Version | `Help ->
exit 0
- | Error (`Parse | `Term | `Exn) ->
- exit Cmdliner.Cmd.Exit.cli_error
- | Ok (`Ok Run { state ; preludes; logic_file }) ->
+ | `Error (`Parse | `Term | `Exn) ->
+ exit Cmdliner.Term.exit_status_cli_error
+ | `Ok (Run { state ; preludes; logic_file }) ->
run state preludes logic_file
- | Ok (`Ok Doc { report; conf; }) ->
+ | `Ok (Doc { report; conf; }) ->
doc conf report
- | Ok (`Ok List_reports { conf; }) ->
+ | `Ok (List_reports { conf; }) ->
list conf
|
