1DUNE-COQ(1)                       Dune Manual                      DUNE-COQ(1)
2
3
4

NAME

6       dune-coq - Command group related to Coq.
7

SYNOPSIS

9       dune coq top FILE -- ARGS
10

COMMANDS

12       top [OPTION]… COQFILE [ARGS]…
13           Execute a Coq toplevel with the local configuration.
14

COMMON OPTIONS

16       --help[=FMT] (default=auto)
17           Show this help in format FMT. The value FMT must be one of auto,
18           pager, groff or plain. With auto, the format is pager or plain
19           whenever the TERM env var is dumb or undefined.
20
21       --version
22           Show version information.
23

EXIT STATUS

25       coq exits with the following status:
26
27       0   on success.
28
29       1   if an error happened.
30
31       130 if it was interrupted by a signal.
32

SEE ALSO

34       dune(1)
35
36
37
38Dune n/a                                                           DUNE-COQ(1)