COQ(1)

NAME
coqc - The Coq compiler

SYNOPSIS
coqc [ general Coq options ] [ -i ] file

DESCRIPTION
coqc is the batch compiler for Coq. The options are basically the same as coqtop(1). file.v is the vernacular file to compile. file must be formed only with the characters `a` to `Z`, `0`-`9` or `_` and must begin with a letter. The compiler produces an object file file.vo. For interactive use of Coq, see coqtop(1).

OPTIONS

-i  Specification only. Produces a specification file file.vi that is a compiled file with only the types of objects, forgetting their values. Useful when compiled files are very big.

-batch
    Exit after parsing. Do not produce a .vo file

Others options are described in the coqtop man page.

FILES
coqtop    the Coq toplevel
$HOME/.coqrc    user's init file

SEE ALSO
coqtop(1), coqdep(1).
The Coq Reference Manual.