mirror of
https://git.freebsd.org/ports.git
synced 2025-04-29 18:16:48 -04:00
d9c44a62ac
Replace GNU configure to dune builds system. Add do-test target. Submitter takes maintainership. Update WWW. Switch to DISTVERSION. The last update of alt-ergo in ports tree was about 10 years ago, the newest version requires many new libraries in ports tree. New ports: devel/ocaml-dolmen devel/ocaml-gen devel/ocaml-hmap devel/ocaml-linol devel/ocaml-lsp devel/ocaml-octavius devel/ocaml-pp_loc devel/ocaml-ppx_blob devel/ocaml-ppx_compare devel/ocaml-ppx_deriving devel/ocaml-ppx_hash devel/ocaml-ppx_js_style devel/ocaml-ppx_yojson_conv devel/ocaml-ppx_yojson_conv_lib devel/ocaml-psmt2-frontend devel/ocaml-trace math/ocaml-farith math/ocaml-ocplib-simplex textproc/ocaml-spelll PR: 279337
36 lines
1.2 KiB
OCaml
36 lines
1.2 KiB
OCaml
--- 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
|