diff options
Diffstat (limited to 'math/abella/files/patch-src_abella__doc.ml')
| -rw-r--r-- | math/abella/files/patch-src_abella__doc.ml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/math/abella/files/patch-src_abella__doc.ml b/math/abella/files/patch-src_abella__doc.ml new file mode 100644 index 000000000000..e8843d95cdfd --- /dev/null +++ b/math/abella/files/patch-src_abella__doc.ml @@ -0,0 +1,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) *) |