mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Update command-line help to include the EDITOR environment variable.
Fixes #743
This commit is contained in:
parent
3e0cf3e167
commit
08bfdc8de1
@ -195,9 +195,15 @@ displayHelp errs = do
|
||||
, "addition to the default locations"
|
||||
]
|
||||
)
|
||||
, ( "EDITOR"
|
||||
, [ "Sets the editor executable to use when opening an editor"
|
||||
, "via the `:edit` command"
|
||||
]
|
||||
)
|
||||
, ( "SBV_{ABC,BOOLECTOR,CVC4,MATHSAT,YICES,Z3}_OPTIONS"
|
||||
, [ "A string of command-line arguments to be passed to the"
|
||||
, "corresponding solver invoked for `:sat` and `:prove`"
|
||||
, "when using a prover via SBV"
|
||||
]
|
||||
)
|
||||
]
|
||||
|
Loading…
Reference in New Issue
Block a user