diff options
| author | Alasdair Armstrong | 2019-12-12 17:25:39 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-12-12 17:43:27 +0000 |
| commit | 5ccd5339343c9f55738741c3dee669c8375cab4f (patch) | |
| tree | b7d7363ac5217e1d1d48adb74b428c8ace444a31 /src | |
| parent | 7d23751f48f60404643f35389b5ca4c25c08695b (diff) | |
Fix a little bit of inconsistency in the command line arguments
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sail.ml b/src/sail.ml index 85e36ce5..42904e80 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -108,6 +108,9 @@ let options = Arg.align ([ " output an OCaml translated version of the input"); ( "-ocaml-nobuild", Arg.Set Ocaml_backend.opt_ocaml_nobuild, + ""); + ( "-ocaml_nobuild", + Arg.Set Ocaml_backend.opt_ocaml_nobuild, " do not build generated OCaml"); ( "-ocaml_trace", Arg.Tuple [set_target "ocaml"; Arg.Set Initial_check.opt_undefined_gen; Arg.Set Ocaml_backend.opt_trace_ocaml], @@ -117,6 +120,9 @@ let options = Arg.align ([ " set a custom directory to build generated OCaml"); ( "-ocaml-coverage", Arg.Set Ocaml_backend.opt_ocaml_coverage, + ""); + ( "-ocaml_coverage", + Arg.Set Ocaml_backend.opt_ocaml_coverage, " build OCaml with bisect_ppx coverage reporting (requires opam packages bisect_ppx-ocamlbuild and bisect_ppx)."); ( "-ocaml_generators", Arg.String (fun s -> opt_ocaml_generators := s::!opt_ocaml_generators), |