dune-coq - Man Page
Command group related to Coq.
Synopsis
dune coq top FILE -- ARGS
Commands
- top [OPTION]… COQFILE [ARGS]…
Execute the Coq toplevel with the local configuration.
Common Options
- --help[=FMT] (default=auto)
Show this help in format FMT. The value FMT must be one of auto, pager, groff or plain. With auto, the format is pager or plain whenever the TERM env var is dumb or undefined.
- --version
Show version information.
Exit Status
coq exits with the following status:
- 0
on success.
- 123
on indiscriminate errors reported on standard error.
- 124
on command line parsing errors.
- 125
on unexpected internal errors (bugs).
See Also
Info
Dune n/a Dune Manual