blob: e8843d95cdfd2c19fc764370aa539e3239a9c56b (
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
|
--- src/abella_doc.ml.orig 2024-05-21 12:00:44 UTC
+++ src/abella_doc.ml
@@ -261,13 +261,12 @@ let () =
let ab1 = Filename.concat dir "abella" in
let ab2 = Filename.concat dir "abella.exe" in
if Sys.file_exists ab1 then ab1 else ab2 in
- let env = Cmd.Env.info "ABELLA"
+ let env = Arg.env_var "ABELLA"
~doc:"Abella command to run (overriden by $(b,--abella))" in
let doc = "Set the Abella command to $(docv)" in
Arg.(value @@ opt string default @@
info ["a" ; "abella"] ~doc ~env
- ~docv:"CMD"
- ~absent:"$(b,abella[.exe])")
+ ~docv:"CMD")
in
let verbose =
let doc = "Verbose output" in
@@ -298,7 +297,8 @@ let () =
`S Manpage.s_bugs ;
`P "File bug reports on <$(b,https://github.com/abella-prover/abella/issues)>" ;
] in
- let info = Cmd.info "abella_doc" ~doc ~man ~exits:[] in
- Cmd.v info @@ Term.(const main $ conf $ files)
+ let info = Term.info "abella_doc" ~doc ~man ~exits:[] in
+ (Term.(const main $ conf $ files), info)
in
- exit (Cmd.eval cmd)
+ Term.exit @@ Term.eval cmd
+ (* exit (Cmd.eval cmd) *)
|
